Tartalom
- Meghatározás - Mit jelent a diszjunktív normál forma (DNF)?
- Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, mi szól a felhőalapú számítástechnikából, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.
- A Techopedia magyarázza a diszjunktív normál formát (DNF)
Meghatározás - Mit jelent a diszjunktív normál forma (DNF)?
A diszjunktív normál forma (DNF) a logikai képlet normalizálása a logikai matematikában. Más szavakkal: egy logikai képlet diszjunktív normál formában van, ha minden változóval való konjunktúrák diszjunktuma, és tagadása minden egyes konjunktúrában egyszer jelen van. Az összes diszjunktív normál forma nem egyedi, mivel ugyanazon állításhoz az összes diszjunktív normál forma kölcsönösen ekvivalens.
A diszjunktív normál formát széles körben alkalmazzák olyan területeken, mint például az automatikus tételbizonyítás.
Bevezetés a Microsoft Azure és a Microsoft Cloud | A jelen útmutató során megtanulja, mi szól a felhőalapú számítástechnikából, és hogyan segítheti a Microsoft Azure a felhőből történő migrációt és az üzleti vállalkozás futtatását.
A Techopedia magyarázza a diszjunktív normál formát (DNF)
A logikai formula diszjunktív normál formában van, és csak akkor, ha létezik egy vagy több literál egy vagy több konjunkciójának váltakozása. A képlet akkor tekinthető teljes diszjunktív normál formának, ha az összes érintett változót csak egyszer jelenítik meg minden mondatban. A konjunktív normál formához hasonlóan a diszjunktív normál formátumú operatív operátorok azonosak: AND, OR and NOT.
Minden logikai képlet konvertálható egyenértékű diszjunktív normál formává. Bizonyos esetekben azonban a logikai függvény exponenciális robbanása lehetséges a diszjunktív normál alakra való átalakulás miatt. Egy másik legfontosabb szempont, hogy bármely egyedi logikai függvény csak egy és egy egyedi, teljes diszjunktív normál formával reprezentálható. Az olyan technikák segítségével, mint az igazságtáblázat-módszer, az igazságfák vagy a logikai egyenértékűségek táblázata, diszjunktív normál forma generálható logikai képletekre. A K-DNF, a diszjunktív normál forma variációja széles körben elterjedt és népszerű a számítási komplexitás vizsgálatában.