Hacker News Reader

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

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