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,
