CNF Generator
Description
This tool is used to automatically generate the conjunctive normal
form of a formula.
Instructions
Enter a formula enter in the box below.
Click on the "GO" button.
The conjunctive normal form of the formula will be displayed in the box below.
An atom can be any string consisting of one or more letters.
Use the following symbols for the logical connectives:
| ^ | | (and) |
| v | | (or) |
| => | | (implication) |
| <=> | | (equivalence) |
| ~ | | (not) |
|