Expression-Interpreter A program that interpret logical expression. It can be used in order to - Evalute expression. Get expression variables. Simplfy/Norify/Nandify an expression.