Sendo p, q e r proposições quaisquer, na tabela-verdade da proposição composta (p ∧ q) ∨ (∼p ∧ r) ∨ (∼q ∧ ∼r) existem exatamente três linhas nas quais p é falsa, e essa proposição composta é verdadeira.