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

Q14.png (170×125)

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