Saturs
- Definīcija - ko nozīmē disjunktīvā normālā forma (DNF)?
- Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
- Techopedia skaidro normālo disjunktīvo formu (DNF)
Definīcija - ko nozīmē disjunktīvā normālā forma (DNF)?
Disjunktīvā normālā forma (DNF) ir loģiskās formulas normalizēšana Būla matemātikā. Citiem vārdiem sakot, tiek uzskatīts, ka loģiska formula ir disjunktīvā normālajā formā, ja tā ir savienojuma disjunkcija ar katru mainīgo un tās noliegums ir sastopams vienreiz katrā savienojumā. Visas disjunktīvās normālās formas nav unikālas, jo visas disjunktīvās normālās formas vienam un tam pašam apgalvojumam ir savstarpēji līdzvērtīgas.
Disjunktīvā normālā forma tiek plaši izmantota tādās jomās kā automatizēta teorēmas pierādīšana.
Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
Techopedia skaidro normālo disjunktīvo formu (DNF)
Loģiska formula ir disjunktīvā normālā formā tikai un vienīgi tad, ja pastāv viena vai vairāku burtu vienas vai vairāku savienojumu maiņa. Formulu uzskata par pilnībā nesadalītu normālu, ja visi iesaistītie mainīgie katrā klauzulā ir parādīti tikai vienreiz. Līdzīgi kā konjunktīvajā normālajā formā, disjunktīvā normālajā formā piedāvājošie operatori ir vienādi: AND, OR and NOT.
Visas loģiskās formulas var pārveidot ekvivalentā disjunktīvā normālajā formā. Tomēr dažos gadījumos loģiskās funkcijas eksponenciāls eksplozija ir iespējama, pārejot uz normālu disjunktīvu formu. Vēl viens ievērojams punkts ir tas, ka jebkuru unikālu Būla funkciju var attēlot tikai viena un unikāla pilnīga disjunktīva normāla forma. Ar tādu paņēmienu palīdzību kā patiesības tabulas metode, patiesības koki vai loģisko ekvivalentu tabula var radīt disjunkcionālu normālu formu loģiskām formulām. K-DNF, disjunktīvās normālas formas variācija, tiek plaši izmantots un populārs skaitļošanas sarežģītības izpētē.