Sisu
- Definitsioon - mida tähendab disjunktiivne normaalne vorm (DNF)?
- Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
- Techopedia selgitab disjunktiivset normaalset vormi (DNF)
Definitsioon - mida tähendab disjunktiivne normaalne vorm (DNF)?
Disjunktiivne normaalvorm (DNF) on loogilise valemi normaliseerimine Boole matemaatikas. Teisisõnu öeldakse, et loogiline valem on disjunktiivses normaalses vormis, kui see on konjunktsioonide disjunktsioon iga muutujaga ja selle eitus on üks kord igas ühenduses. Kõik disjunktiivsed normaalvormid ei ole unikaalsed, kuna sama väite kõik disjunktiivsed normaalvormid on vastastikku samaväärsed.
Disjunktiivset normaalset vormi kasutatakse laialdaselt sellistes valdkondades nagu automatiseeritud teoreemi tõestamine.
Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
Techopedia selgitab disjunktiivset normaalset vormi (DNF)
Loogiline valem on disjunktiivses normaalses vormis siis ja ainult siis, kui eksisteerib ühe või mitme literaali ühe või mitme konjunktsiooni vahelduvus. Valem loetakse täielikult disjunktiivseks normaalvormiks, kui kõiki seotud muutujaid on igas punktis esitatud ainult üks kord. Sarnaselt konjunktiivse normaalvormiga on ka disjunktiivses normatiivvormingus juhendoperaatorid samad: JA, VÕI ja EI.
Kõik loogilised valemid saab teisendada samaväärseks disjunktiivseks normaalvormiks. Kuid mõnel juhul on loogilise funktsiooni plahvatuslik plahvatus disjunktiivseks normaalvormiks muundamise tõttu võimalik. Veel üks oluline punkt on see, et iga unikaalset Boole'i funktsiooni saab tähistada ainult ühe ja ainulaadse täieliku disjunktiivse normaalvormiga. Selliste tehnikate abil nagu tõdetabeli meetod, tõepuud või loogiliste ekvivalentide tabel võib luua loogiliste valemite disjunktiivse normaalvormi. D-disjunktiivse normaalse vormi variatsioon K-DNF on arvutusliku keerukuse uurimisel laialt levinud ja populaarne.