Function ->Cnf

Part of:

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