This app provides step-by-step solutions for propositional logic problems, including simplification, equivalences, and argument validation. It offers a reference for logical rules and inference, with offline functionality and a dark mode for user comfort.
Propositional Logic Resolver by Quang Phan

























