Turinys:
- Apibrėžimas - ką reiškia normalioji disjunkcinė forma (DNF)?
- „Techopedia“ paaiškina disjunktyviąją normaliąją formą (DNF)
Apibrėžimas - ką reiškia normalioji disjunkcinė forma (DNF)?
Disjunkcinė normalioji forma (DNF) yra loginės matematikos loginės formulės normalizavimas. Kitaip tariant, sakoma, kad loginė formulė yra disjunkcinė normalioji forma, jei tai yra jungčių atsiribojimas su kiekvienu kintamuoju ir jos neigimas yra kartą kiekviename junginyje. Visos disjunkcinės normaliosios formos nėra unikalios, nes visos disjunkcinės normaliosios formos tam pačiam teiginiui yra viena kitos atžvilgiu lygiavertės.
Disjunkcinė normalioji forma yra plačiai naudojama tokiose srityse kaip automatinis teoremos įrodymas.
„Techopedia“ paaiškina disjunktyviąją normaliąją formą (DNF)
Loginė formulė yra disjunktyviosios normaliosios formos tada ir tik tada, kai egzistuoja vienas ar keli vienas ar keli litralai junginiai. Laikoma, kad formulė yra visiškai disjunkcinė, jei visi susiję kintamieji kiekviename punkte pateikiami tik vieną kartą. Panašiai kaip ir jungtinė normalioji forma, jungtiniai normaliosios formos teiginiai yra tokie patys: IR, ARBA IR NE.
Visas logines formules galima konvertuoti į lygiavertę disjunkcinę normaliąją formą. Tačiau kai kuriais atvejais eksponentinis loginės funkcijos sprogimas yra įmanomas dėl konversijos į normalią disjunkcinę formą. Kitas aiškus momentas yra tas, kad bet kurią unikalią Boole funkciją gali apibūdinti tik viena ir unikali normalioji forma pilnai disjunktyvi. Taikant tokius metodus kaip tiesos lentelės metodas, tiesos medžiai ar loginių atitikmenų lentelė, galima sukurti loginę formulę turinčią disjunkcinę normaliąją formą. K-DNF, disjunkcinės normaliosios formos variacija, yra plačiai naudojamas ir populiarus tiriant skaičiavimo sudėtingumą.
