Sejam p, q e r proposições simples e ∼p, ∼q e ∼r, respectivamente, as suas negações. As seguintes proposições compostas têm valor lógico verdadeiro:
p∨q q∨ ∼r r∨ ∼p
Pode-se concluir que o conjunto de proposições simples logicamente verdadeiras é dado por