Propositional logic engine