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.