Sejam p e q duas proposições. Considere a sentença S dada por: (p → q) ↔ (~p ∨ q) e a tabela verdade abaixo. 



Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são: