Truth Table Generator Uses Lex and Yacc to parse and generate truth tables from propositional statements