A simple propositional logic evaluator