Desafio

Obtenha a FNC e a FND da proposição (p↔q)∧(p→~q) e depois confirme por meio de tabela verdade.

Quer uma dica? Então siga o esquema explicado a seguir:

• Aplique as regras das equivalências notáveis que forem possíveis e obtenha a FNC e a FND.
• Faça a tabela verdade da proposição original (p↔q)∧(p→~q).
• Faça a tabela da proposição FNC e veja se a coluna do resultado ficou realmente equivalente à coluna do resultado da tabela de (p↔q)∧(p→~q).
• Faça a tabela da proposição FND e veja se a coluna do resultado ficou realmente equivalente à coluna do resultado da tabela de (p↔q)∧(p→~q).

Pronto! Este será um grande exercício de revisão! Aproveite, ok?!