Contents
Indexes:
Function Merge-Conjuncts
Part of:
package cl-perec
(
merge-conjuncts
< conjuncts > )
Return a DNF expression for the conjunction.