Numa proposição composta s, aparecem as proposições simples p, q e r.

Sua Tabela-Verdade é



Usando a conjunção (∧), a disjunção (v) e a negação (~), pode-se construir sentenças equivalentes a s. Uma dessas sentenças é