Sistema para Valoração de fórmulas lógicas

Projeto da cadeira de Técnicas de Programação I - UFC 2021.1

Equipe

• Caio de Freitas Oliveira
• Felipe Sousa da Silveira
• João Pedro de Almeida Isaias
• Rafael Coelho Gondim de Oliveira Lima

Objetivo

No estudo da lógica computacional, a valoração de uma fórmula lógica mostra sua importância por ser uma das bases da computação. Este aplicativo visa auxiliar o estudo na área, gerando uma tabela verdade a partir de uma fórmula lógica. No sistema, o usuário poderá, também, salvar a tabela verdade ou excluí-la, de acordo com sua preferência.

Funções

• Criação de tabelas verdade
• Validação de entrada (quantidade de proposições possíveis <= 5)
• Salvar ou excluir uma tabela verdade
• Mostrar tabelas salvas

Modo de uso

• Ir para o diretório "valoracao" onde se encontra o makefile;
• Utilizar os comandos "make comp" para compilar o programa e "make run" para executá-los;
• Entrada: Para ter a entrada aceita, é preciso digitar a fórmula utilizando-se de até 5 proposições lógicas;
• Seguir as instruções da Tela Instrução.

Operadores Lógicos

Operador lógico	Caractere utilizado
OR	+
AND	*
XOR	%
IMP	>
NAND	^
NOR	´