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)

	p	q	p ∧ q	p ∨ q	~(p∨q)	(p∧q) ∧ ~(p∨q)
Linha 1.	V	V	V	V	F	F
Linha 2.	V	F	F	V	F	F
Linha 3.	F	V	F	V	F	F
Linha 4.	F	F	F	F	V	F

Q: ~p∧(p∧~q)

	p	q	~q	(p∧~q)	~p	~p ∧ (p∧~q)
Linha 1.	V	V	F	F	F	F
Linha 2.	V	F	V	V	F	F
Linha 3.	F	V	F	F	V	F
Linha 4.	F	F	V	F	V	F

Conclusão:

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