Function ->Dnf

Part of:

package cl-perec
( ->dnf < p > )
Convert a sentence p to disjunctive normal form [p 279-280].