Seguindo o mesmo princípio, sendo que agora para proposição que sejam ambas contradições, então é possível afirmar que são equivalentes entre si. Observe novamente que possuem tabelas verdades com o mesmo número de linhas e combinações de valores p e q coincidentes, linha a linha.

P: (p∧q)∧~(p∨q)

Q: ~p∧(p∧~q)

Conclusão:

Pode-se afirmar a equivalência (p∧q)∧~(p∨q) ⇔ ~p∧(p∧~q)