Considerando os conetivos da conjunção (⋀), da negação (~) e condicional (→), concluímos que a tabela-verdade da fórmula (~(P ⋀ Q)⋀ P → Q) é:
Somente tautologia.
Tautologia e equivalência lógica.
Tautologia e consequência lógica.
Contradição.
Indeterminação.
