Em lógica proposicional é comum basearmos as considerações usando as tabelas-verdade como auxílio. Abaixo, temos uma tabela-verdade incompleta para duas proposições p e q, dada por: 





Os valores lógicos que completam a sequência 1-2-3, respectivamente, são: