Abaixo está apresentada a tabela verdade, incompleta, da proposição ~(!$ A !$ → ~!$ B !$):
A | B | ~( !$ A !$ → ~!$ B !$) |
V | V | |
V | F | |
F | V | |
F | F |
Com base na lógica proposicional, é possível dizer que a última coluna da tabela verdade, na ordem de cima para baixo, será:
