Conjunction (And): ^ (caret) or ∧
Disjunction (Or): v (lower v) or ∨
Negation (Not): ! (bang) or ¬
Implication: -> or →
Equivalence: <-> or ↔
You can use ( parenthesis ) to group parts of a formula.
!A v B <-> (A -> B)
Analyzing large formulae can take some time and may freeze your browser or at least this tab.
The Simplified CNF and Simplified DNF are not always the smallest possible formulae but the Simplified Formula should be.