### Instructions

*Conjunction (And)*: `^` (caret) or `∧`

*Disjunction (Or)*: `v` (lower v) or `∨`

*Negation (Not)*: `!` (bang) or `¬`

*Implication*: `->` or `→`

*Equivalence*: `<->` or `↔`

*True*: `1`

*False*: `0`

You can use `(` parenthesis `)` to group parts of a formula.

Example: `!A v B <-> (A -> B)`

### Warning

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.

Normal Form | Formula |
---|---|

CNF | ` ` |

Simplified CNF | ` ` |

DNF | ` ` |

Simplified DNF | ` ` |

NNF | ` ` |

Simplified Formula | ` ` |