Evaluator for simple propositional logic formulae.