CNF

Conjunctive Normal Form או הצורה הנורמלית הקוניוקטיבית הוא ביטוי המורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי קוניונקציה, כלומר, פעולות וגם. כל פסוקית היא אוסף של ליטרלים (משתנים ושלילות משתנים) המחוברים ביניהם על ידי פעולות או (דיסיונקציה).

דוגמה:

נוסחת CNF במשתנים ${\displaystyle \ x_{1},\ldots ,x_{n}}$ בעלת צורה כגון $${\displaystyle (x_{1}\lor {\overline {x_{3}}})\land (x_{2})\land (x_{2}\lor x_{5}\lor {\overline {x_{6}}}\lor x_{n})}$$