Dadas às proposições lógicas simples: A, B, C, e D, com os seguintes valores lógicos: V, F, V, V com V indicando que a proposição é verdadeira e F, indicando que é falsa. Observe as três proposições compostas abaixo:
[(~ B ↔ C)], [(~ A → D)], [(~ A ᐯ B) → (C ᐱ D)]
Os valores lógicos obtidos das seguintes proposições compostas são respectivamente:
