An interpreter of well-formed formulas in propositional calculus.