Generate tables truth from logical propositions
Trabalho produzido para a disciplina Fundamentos Matemáticos para Computação pelo monitor Gabriel Estevam - Universidade Federal de Santa Catarina.O algoritmo de construção de tabela verdade a partir de uma proposição utiliza uma adaptação do método de transformação de equações matemáticas para forma Pos-Fixa de Paulo Feofiloff, Algoritmos em Linguagem C.Work produced for the Mathematical Foundations discipline to monitor computing by Gabriel Estevam - Federal University of Santa Catarina.The truth table construction algorithm from a proposition uses an adaptation of the method of processing of mathematical equations to postfix form of Feofiloff Paul, Algorithms in C Language