Este é um programa em Go que gera a tabela verdade, a forma normal conjuntiva/disjuntiva e a classificação de uma expressão lógica.
Ele foi desenvolvido como parte de um desafio da disciplina de Lógica para Computação da Universidade Federal do Vale do São Francisco (UNIVASF).
Funcionalidades
- Gera a tabela verdade de uma expressão lógica.
- Identifica se a expressão é uma contradição, uma tautologia ou uma contingência.
- Retorna a forma normal conjuntiva/disjuntiva da expressão fornecida.