Function Merge-Disjuncts

Part of:

package cl-perec
( merge-disjuncts < disjuncts > )
Return a CNF expression for the disjunction.