CNF

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


פותר תשחצים ותשבצים עכשיו לאנדרואיד ולאייפון! כל ההגדרות וכל המושגים במקום אחד.

פותר התשחץ פותר התשחצים

נלקח מויקיפדיה

הגדרות נוספות הקשורות לCNF:
אלגברה בוליאנית