///
Ao analisar uma expressão lógica, é possível montar uma tabela da verdade com os possíveis valores lógicos para cada uma das proposições. Um exemplo de tabela da verdade para a expressão lógica ̅𝐀̅̅∙̅̅𝐁̅ é:
| A | B | ̅𝐀̅̅∙̅̅𝐁̅ |
|---|---|---|
| V | V | x |
| V | F | y |
| F | V | z |
| F | F | w |
Logo, os valores de x, y, z e w são, respectivamente,