An example application that parses logical expressions and generate truth tables and parsing trees.