A tabela verdade é um dispositivo prático essencial para a caracterização dos valores lógicos de uma dada proposição composta. O processo de criação da tabela verdade de uma proposição composta se inicia na contagem do número de proposições simples que a compõem.

É importante observar que tal fato nos leva à construção de uma tabela verdade correspondente a qualquer proposição composta dada. Desta forma, a tabela verdade da proposição composta ~ (p ∨ ~ q) é dada por: