Para Alencar (2002, p.14), “na tabela verdade figuram todos os possíveis valores lógicos da proposição composta, correspondentes a todas as possíveis atribuições de valores lógicos às proposições simples correspondentes.”

Considerando duas proposições identificadas como p e q, deseja-se construir a tabela verdade da proposição composta ~ (p ∧ ~ q), conforme descrito na tabela a seguir.

Os valores lógicos da proposição composta ~ (p ∧ ~ q), descritos de cima para baixo na última coluna da tabela, serão, respectivamente,