Obsah:
- Definice - Co znamená disjunktivní normální forma (DNF)?
- Techopedia vysvětluje disjunktivní normální formu (DNF)
Definice - Co znamená disjunktivní normální forma (DNF)?
Disjunktivní normální forma (DNF) je normalizace logického vzorce v booleovské matematice. Jinými slovy, o logickém vzorci se říká, že je v disjunktivní normální formě, pokud je disjunkcí spojek s každou proměnnou a její negace je přítomna jednou v každém spojení. Všechny disjunktivní normální formy jsou nejedinečné, protože všechny disjunktivní normální formy pro stejný výrok jsou vzájemně rovnocenné.
Disjunktivní normální forma je široce používána v oblastech, jako je automatizované dokazování věty.
Techopedia vysvětluje disjunktivní normální formu (DNF)
Logický vzorec je v disjunktivní normální formě pouze tehdy, existuje-li alterace jedné nebo více konjunkcí jednoho nebo více literálů. Vzorec se považuje za plně disjunktivní normální formu, pokud jsou všechny zúčastněné proměnné zastoupeny v každé větě pouze jednou. Podobně jako ve spojité normální formě jsou výrokové operátory v disjunktivní normální formě stejné: AND, OR a NOT.
Všechny logické vzorce lze převést na ekvivalentní disjunktivní normální formu. V některých případech je však exponenciální exploze logické funkce možná díky převodu na disjunktivní normální formu. Dalším důležitým bodem je, že jakákoli jedinečná booleovská funkce může být reprezentována pouze jednou a jedinečnou plnou disjunktivní normální formou. Pomocí technik, jako je metoda tabulky pravdy, stromy pravdy nebo tabulka logických ekvivalencí, lze pro logické vzorce vygenerovat disjunktivní normální formu. K-DNF, varianta disjunktivní normální formy, je široce používaná a oblíbená ve studiu výpočetní složitosti.
