Part II, Seminars in Mathematics (translated from Russian), pp. 115–125. Steklov Mathematical Institute (1968) External links Java tool for converting a truth table into CNF and DNF Java applet for converting to CNF and DNF, showing laws used Normal forms (logic)