תוֹכֶן
- הגדרה - מה המשמעות של צורה נורמלית (DNF)?
- מבוא ל- Microsoft Azure ו- Microsoft Cloud | במהלך מדריך זה תוכלו ללמוד על אודות מיחשוב ענן וכיצד Microsoft Azure יכולה לעזור לכם להעביר ולנהל את העסק שלכם מהענן.
- Techopedia מסביר טופס דיסונקטיבי רגיל (DNF)
הגדרה - מה המשמעות של צורה נורמלית (DNF)?
צורה נורמלית דיסונקטיבית (DNF) היא נורמליזציה של נוסחה לוגית במתמטיקה בוליאנית. במילים אחרות, אומרים כי הנוסחה הלוגית היא בצורה נורמלית לא מפרידה אם מדובר בצירוף של צירופי כל משתנה והשלילה שלה קיימת פעם בכל צירוף. כל הצורות הנורמליות הנפרדות אינן ייחודיות, מכיוון שכל הצורות הנורמליות הנפרדות לאותה הצעה שקולות זו לזו.
צורה נורמלית מתפרצת נמצאת בשימוש נרחב באזורים כמו הוכחת משפט אוטומטי.
מבוא ל- Microsoft Azure ו- Microsoft Cloud | במהלך מדריך זה תוכלו ללמוד על אודות מיחשוב ענן וכיצד Microsoft Azure יכולה לעזור לכם להעביר ולנהל את העסק שלכם מהענן.
Techopedia מסביר טופס דיסונקטיבי רגיל (DNF)
נוסחה לוגית היא בצורה נורמלית לא מפרידה אם ורק אם יש קיום לסירוגין של צירוף אחד או יותר של ליטר אחד או יותר. פורמולה נחשבת בצורה נורמלית באופן דיסונקטיבי אם כל המשתנים המעורבים מיוצגים פעם אחת בלבד בכל סעיף. בדומה לצורה נורמלית חיבורית, מפעילי ההצעה בצורה נורמלית דיסונקטיבית זהים: AND, OR ו- NOT.
ניתן להמיר את כל הנוסחאות הלוגיות לצורה רגילה דיסונקטיבית שווה. עם זאת, במקרים מסוימים, פיצוץ מעריכי של הפונקציה הלוגית אפשרי עקב המרה לצורה נורמלית דיסונקטיבית. נקודה בולטת נוספת היא שכל פונקציה בוליאנית ייחודית יכולה להיות מיוצגת על ידי אחת בלבד וצורה נורמלית מלאת דיסונקטיביות ייחודית. בעזרת טכניקות כמו שיטת טבלת האמת, עצי אמת או טבלה של שיווי משקל לוגיים, ניתן ליצור צורה נורמלית לא פורמלית לנוסחאות לוגיות. K-DNF, וריאציה של צורה נורמלית דיסונקטיבית, נמצא בשימוש נרחב ופופולרי בחקר המורכבות החישובית.