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