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