שינויים

<math>p_1\or p_2 \or p_3=[\lnot x_1 \land x_2 \land \lnot x_3]\or [\lnot x_1 \land\lnot x_2 \land x_3] \or [x_1\land \lnot x_2 \land x_3]</math>.

ביטוי מצורת CNF מורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות "וגם". כל פסוקית בעצמה מורכבת ממחוברים המחוברים ביניהם על ידי פעולות "או". כל מחובר הוא משתנה או שלילת משתנה.