Propositional logic resolver