Sisällysluettelo:
- Määritelmä - Mitä disjunktiivinen normaalimuoto (DNF) tarkoittaa?
- Techopedia selittää disjunktiivisen normaalin muodon (DNF)
Määritelmä - Mitä disjunktiivinen normaalimuoto (DNF) tarkoittaa?
Disjunktiivinen normaalimuoto (DNF) on loogisen kaavan normalisointi Boolen matematiikassa. Toisin sanoen loogisen kaavan sanotaan olevan disjunktiivisessa normaalimuodossa, jos se on konjunktioiden disjunktio jokaisen muuttujan kanssa ja sen kieltävyys esiintyy kerran jokaisessa yhteydessä. Kaikki disjunktiiviset normaalimuodot eivät ole ainutlaatuisia, koska kaikki saman lauseen disjunktiiviset normaalimuodot ovat toisiaan vastaavia.
Disjunktiivista normaalia muotoa käytetään laajalti esimerkiksi automaattisen lauseen todistamisen aloilla.
Techopedia selittää disjunktiivisen normaalin muodon (DNF)
Looginen kaava on disjunktiivisessa normaalimuodossa vain silloin, kun on olemassa yhden tai useamman kirjaimien yhden tai useamman konjunktion vuorottelu. Kaavan katsotaan olevan täysin disjunktiivisessa normaalimuodossa, jos kaikki muuttujat esitetään vain kerran jokaisessa lauseessa. Samankaltainen kuin konjunktiivinen normaalimuoto, ehdotukselliset operaattorit disjunktiivisessa normaalimuodossa ovat samat: AND, OR ja NOT.
Kaikki loogiset kaavat voidaan muuntaa vastaavaksi disjunktiiviseksi normaalimuodoksi. Joissakin tapauksissa loogisen funktion räjähdysmäinen räjähdys on kuitenkin mahdollista muuttumisen vuoksi disjunktiiviseen normaalimuotoon. Toinen tärkeä kohta on, että mitä tahansa ainutlaatuista Boole-funktiota voi edustaa vain yksi ja ainutlaatuinen täysin disjunktiivinen normaalimuoto. Tekniikoiden, kuten totuustaulukkomenetelmän, totuuspuiden tai loogisten vastaavuustaulukoiden, avulla voidaan luoda loogisten kaavojen disjunktiivinen normaalimuoto. K-DNF, disjunktiivisen normaalimuodon muunnelma, on laajalti käytetty ja suosittu laskennallisen monimutkaisuuden tutkimuksessa.
