propositional logic calculator with steps - Search