תוכן עניינים:
הגדרה - מה המשמעות של צורה נורמלית מחוברת (CNF)?
צורה נורמלית מחוברת (CNF) היא גישה ללוגיקה הבוליאנית המבטאת נוסחאות כחיבור בין סעיפים עם AND או OR. כל סעיף המחובר באמצעות צירוף, או AND, חייב להיות מילולי או להכיל צירוף, או מפעיל OR. CNF שימושי להוכחת משפטים אוטומטיים.
Techopedia מסביר את הצורה הרגילה Conjunctive (CNF)
בצורה נורמלית יחד, אמירות בלוגיקה הבוליאנית הן צירופי סעיפים עם סעיפי פרוטוקציות. במילים אחרות, הצהרה היא סדרה של ORS המחוברים על ידי ANDS.
לדוגמה:
(A או B) ו- (C או D)
(A או B) ו- (לא C או B)
הסעיפים עשויים להיות גם מילוליות:
א או ב
A ו- B
ספרות נתפסת ב- CNF כצירוף של סעיפים מילוליים וצירופים שיש להם סעיף בודד. אפשר להמיר הצהרות ל- CNF שנכתבות בצורה אחרת, כמו צורה נורמלית דיסונקטיבית.
