Simple boolean expression evaluator and simplifier