Open
Description
A program that transforms any expression composed by (not, and, or) to its conjunctive normal form, and maybe to disjunctive normal form.
A program that transforms any expression composed by (not, and, or) to its conjunctive normal form, and maybe to disjunctive normal form.