simple solver for expressions in the propositional logic