Exercise 3.4.4: What is a formula in conjunctive normal form?
A formula is said to be conjunctive normal form if it has the form \alpha = \gamma _(1)^(^())cdots^(^())\gamma _(k), where each conjunct \gamma _(i) has the form \gamma _(i) = \beta.