Logic Calculator

Logic Calculator is a powerful Chrome extension designed for anyone dealing with propositional logic. It allows you to verify if a sequence of characters is a well-formed formula (WFF), convert formulas into Normal Polish Notation (NPN) and Reverse Polish Notation (RPN), and extract subformulas. Additionally, it generates disjunctive normal form (DNF) and conjunctive normal form (CNF) representations, making logical analysis straightforward.

The extension supports the creation of truth tables and lets users assign truth values to propositional symbols to interpret formulas easily. Users can also customize the precedence orders of logical connectives to suit different logical frameworks or preferences. This tool is ideal for students, educators, and professionals working with logical expressions and formal reasoning tasks.