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:
Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são: