In this chapter we shall write a program which reads formulas in propositional logic and writes their truth table. The input language for the formulas uses infix notation, but the various binary ...