Hacker News Reader

For my bachelors thesis I built a tool for playing around with and teaching KV diagrams [1]

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.