The Normalize command transforms a given Boolean expression into a specific normal form.

The normal form used is determined by the form option. The value of form may be DNF (disjunctive normal form) or CNF (conjunctive normal form). If no such option is given, disjunctive normal form is used.

The transformation is performed by applying the distributive law and De Morgan's law to the given expression.  The resulting expression is not guaranteed to be unique, minimized or in a canonical form.