Mathematical logic calculator Calculating prime conjunctive (PCNF), disjunctive normal forms (PDNF) and their minimal forms (MCNF, MDNF).