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