4 ms·

Nice tool! By DNF and KNF do you mean disjunctive and conjuctive normal form?

• laszlokorte 6y ago
  Correct. In german it's called "Konjunktive Normalform" and targetted at a german class I decided not to translate it.