Convert a Propositional formula to CNF
The procedure used in the conversion generates the truth table of the provided formula, which
is converted into a CNF. Thus, the conversion is not always minimal, and each term contains
all the variables in the formula. Note that if a formula is identically true, this procedure generates
an empty CNF which should be interpreted as true.
Examples
- \(r \rightarrow t \land u\)
Type your expression and click submit