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.