dnf ( expr -- dnf )


Vocabulary
boolean-expr

Inputs
expra


Outputs
dnfan array


Word description
Convert the expr to Disjunctive Normal Form (DNF), i.e. an array of subexpressions, each not containing disjunctions. See https://en.wikipedia.org/wiki/Disjunctive_normal_form.

Examples
USING: boolean-expr prettyprint ; X Y Z ⋀ ⋀ dnf .
{ { X Y Z } }

USING: boolean-expr prettyprint ; X Y Z ⋁ ⋁ dnf .
{ { X } { Y } { Z } }


Definition