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: