Vejamos então se P: p ∨ ~(p∧q) implica em Q: p∧q → (p ↔ q):

1º) Tabela verdade de P: p ∨ ~(p ∧ q)

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

2 º) Tabela verdade de Q: p ∧ q → (p ↔ q)

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

3º) Comparar os resultados das tabelas verdades de P e Q

Ao compararmos os resultados, podemos então afirmar que P implica em Q e também que Q implica em P.

Conclusão: