A tabela-verdade da fórmula (P→¬(QVR)) é equivalente à tabela-verdade da fórmula da alternativa: