Canonical Conjunctive Normal Form

boolean-algebra

Definition

Canonical Conjunctive Normal Form (CCNF)

A Boolean function is in canonical conjunctive normal form (CCNF) if it is in conjunctive normal form (CNF) and each disjunction contains all variables.

Example: $f(e_1,e_2,e_3,e_4)=(e_1\vee \neg e_2\vee e_3\neg e_4)\wedge (\neg e_1\vee \neg e_2\vee e_3\neg e_4)$