O resultado da tabela-verdade da fórmula (~(p∧q)∧q→~p) é classificada como:

Legenda para os símbolos lógicos:

∨ Representa a disjunção inclusiva.

∧ Representa a conjunção.

~ Representa a negação.

→ Representa o condicional.

↔ Representa o bicondicional.