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: