Vamos então verificar a equivalência lógica entre:

P: p → (q → r)

Q: (p ∧ q) → r

Tabela verdade de P: p → (q → r)

	p	q	r	(q→r)	p → (q → r)
Linha 1.	V	V	V	V	V
Linha 2.	V	V	F	F	F
Linha 3.	V	F	V	V	V
Linha 4.	V	F	F	V	V
Linha 5.	F	V	V	V	V
Linha 6.	F	V	F	F	V
Linha 7.	F	F	V	V	V
Linha 8.	F	F	F	V	V

Tabela verdade de Q: (p ∧ q) → r

	p	q	r	(p∧q)	(p ∧ q) → r)
Linha 1.	V	V	V	V	V
Linha 2.	V	V	F	V	F
Linha 3.	V	F	V	F	V
Linha 4.	V	F	F	F	V
Linha 5.	F	V	V	F	V
Linha 6.	F	V	F	F	V
Linha 7.	F	F	V	F	V
Linha 8.	F	F	F	F	V