canonical conjunctive normal form

(logic) Conjunctive normal form with the additional property that all of the terms of the product contain the same literals, so that the terms differ from each other only in their patterns of complementation (of their literals).