A simple solver for propositional calculus problems