Sejam !$ p !$, !$ q !$ e !$ r !$ proposições simples e !$ \sim p !$, !$ \sim q !$ e !$ \sim r !$, respectivamente, as suas negações. As seguintes proposições compostas têm valor lógico verdadeiro:

!$ p \vee q !$

!$ q \vee \sim r !$

!$ r \vee \sim p !$

Pode-se concluir que o conjunto de proposições simples logicamente verdadeiras é dado por