Agora vamos estudar a relação mais importante entre o conceito de tautologia e a equivalência lógica, que é:

Resgatando o primeiro exemplo de equivalência lógica deste módulo, vamos lembrar que ao comparar as respectivas tabelas confirmamos a equivalência:

p→(q→r) ⇔ (p∧q)→r

Ou seja, comparamos as colunas de resultado das duas tabelas:

p→(q→r)	⇔	(p∧q)→r
V		V
F		F
V		V
V		V
V		V
V		V
V		V
V		V