Sadržaj:
- Definicija - Što znači disjunktivni normalan oblik (DNF)?
- Tehopedija objašnjava disjunktivni normalan oblik (DNF)
Definicija - Što znači disjunktivni normalan oblik (DNF)?
Normalan disjunktivni oblik (DNF) je normalizacija logičke formule u bulovoj matematici. Drugim riječima, kaže se da je logička formula u disjunktivnom normalnom obliku ako je disjunkcija konjunkcija sa svakom varijablom i njena negacija prisutna jednom u svakoj konjunkciji. Svi disjunktivni normalni oblici nisu jedinstveni, jer su svi disjunktivni normalni oblici za isti prijedlog uzajamno jednaki.
Normalan oblik disjunkcije široko se koristi u područjima kao što su automatsko dokazivanje teorema.
Tehopedija objašnjava disjunktivni normalan oblik (DNF)
Logička je formula u disjunktivnom normalnom obliku ako i samo ako postoji alternacija jedne ili više veznika jednog ili više doslovnih predmeta. Formula se smatra normalnim normalnim potpuno disjunktivnim ako su sve uključene varijable predstavljene samo jednom u svakoj rečenici. Slično konjuktivnom normalnom obliku, propozicijski operatori u disjunktivnom normalnom obliku isti su: I, ILI i NE.
Sve logičke formule mogu se pretvoriti u ekvivalentni normalni oblik disjunkcije. Međutim, u nekim je slučajevima eksponencijalna eksplozija logičke funkcije moguća zbog pretvaranja u disjunktivni normalan oblik. Još jedna istaknuta točka je da bilo koja jedinstvena logička funkcija može biti predstavljena samo jednim i jedinstvenim normalnim disjunktivnim oblikom. Pomoću tehnika kao što su metoda tablice istine, stabla istine ili tablica logičkih ekvivalenta, može se stvoriti disjunktivni normalan oblik za logičke formule. K-DNF, varijacija disjunktivnog normalnog oblika, široko se koristi i popularan je u istraživanju računalne složenosti.
