Vsebina
- Opredelitev - Kaj pomeni normalno ločena oblika (DNF)?
- Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
- Tehopedija razlaga disjunktivno normalno obliko (DNF)
Opredelitev - Kaj pomeni normalno ločena 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.
Normalna oblika disjunkcije se pogosto uporablja na področjih, kot je samodejno dokazovanje izrek.
Uvod v Microsoft Azure in Microsoft Cloud | V tem priročniku boste spoznali, kaj sploh pomeni računalništvo v oblaku in kako vam lahko Microsoft Azure pomaga preseliti in voditi vaše podjetje iz oblaka.
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 se lahko pretvorijo 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 za logične formule. K-DNF, različica disjunktivne normalne oblike, se pogosto uporablja in priljubljen pri študiji računalniške zapletenosti.