Kazalo:
- Opredelitev - Kaj pomeni disjunktivna normalna oblika (DNF)?
- Tehopedija razlaga disjunktivno normalno obliko (DNF)
Opredelitev - Kaj pomeni disjunktivna normalna oblika (DNF)?
Disjunktivna normalna oblika (DNF) je normalizacija logične formule v logiki Boolove matematike. Z drugimi besedami, logična formula je v disjunktivni normalni obliki, če gre za ločitev veznikov z vsako spremenljivko in je njena negacija prisotna enkrat v vsaki veznici. Vse disjunktivne normalne oblike so neenotne, saj so vse disjunktivne normalne oblike za isti predlog medsebojno enakovredne.
Navadna disjunktivna oblika se pogosto uporablja na področjih, kot je samodejno dokazovanje izrek.
Tehopedija razlaga disjunktivno normalno obliko (DNF)
Logična formula je v ločeni normalni obliki, če in samo, če obstaja izmenjava enega ali več veznikov enega ali več dobesednih besed. Za formulo se šteje, da ima normalno disjunktivno normalno obliko, če so vse vpletene spremenljivke predstavljene samo enkrat v vsaki določbi. Podobno kot konjunktivna normalna oblika so tudi propozicijski operaterji v disjunktivni normalni obliki enaki: IN, ALI in NE.
Vse logične formule lahko pretvorimo v enakovredno disjunktivno normalno obliko. Vendar je v nekaterih primerih eksponentna eksplozija logične funkcije mogoča zaradi pretvorbe v disjunktivno normalno obliko. Druga pomembna točka je, da lahko katero koli edinstveno logično funkcijo predstavlja samo ena in edinstvena polna disjunktivna normalna oblika. S pomočjo tehnik, kot so metoda tabele resnice, drevesa resnice ali tabela logičnih enakovrednosti, je mogoče ustvariti disjunktivno normalno obliko logičnih formul. K-DNF, različica disjunktivne normalne oblike, se pogosto uporablja in priljubljen pri študiji računalniške zapletenosti.
