Disjunktivně normální forma (DNF) a konjuktivně normální forma (KNF) jsou dvě hlavní metody zápisu logických výrazů v matematice a informatice. Tyto formuláře vám umožňují popsat různé logické operace a podmínky. V některých případech však může být nutné převést výrazy z DNF na KNF nebo naopak.
DNF je logický výraz, ve kterém se několik logických proměnných spojí prostřednictvím operace disjunkce (logická nebo). V každé spojivce může být přítomna logická a (konjunktura) nebo její negace.
Na druhou stranu KNF je logický výraz, ve kterém se několik logických proměnných spojuje prostřednictvím operace spojivky (logická a). V každém multiplikátoru může být přítomna logická nebo její negace.
Převod výrazu z DNF na KNF nebo naopak může být užitečný, pokud je nutné přeložit logický vzorec do jiné formy, aby odpovídal určitému standardu nebo splňoval jiné požadavky.
Co je konjuktivně normální forma?
V KNF se každý logický výraz jeví jako konjunktura několika elementárních tvrzení nazývaných disjunkty. Každá disjunktura je disjunkce literátů, které mohou být proměnné nebo jejich popření.
Použití KNF umožňuje konverzi logických výrazů pro zjednodušení jejich analýzy a zpracování. KNF má jednoduchou strukturu, která umožňuje použití účinných algoritmů k určení uspokojivosti a proveditelnosti logických výrazů.
Konstrukce KNF z disjunktivně normální formy (DNF) nebo jiných vzorců se provádí aplikací různých transformací, jako jsou zákony distribuce a De Morgan. Cílem této transformace je představit logický vzorec ve formě konjunktury disjunktů, což usnadňuje jeho analýzu a zpracování.
Převod logického vzorce na KNF je důležitý v mnoha oblastech, včetně automatického ověřování, umělé inteligence, počítačových věd a dalších. To vše činí studium a pochopení konjuktivně normální formy nezbytnou pro odborníky v těchto oblastech.
Definice a aplikace
Převod z disjunktivně normální formy (DNF) na konjuktivně normální formu se často používá v logice a automatickém důkazu teorémů pro zjednodušení a standardizaci logických výrazů.
Převod z DNF na KNF zahrnuje několik kroků. Nejprve se každá disjunkce rozdělí na spojivku, nahradí ji nebo na I.pak platí distribuční zákon: Každá nebo uvnitř spojivky se vztahuje na všechny ostatní spojivky. Výsledkem je KNF, ve kterém je každý predikát spojen pomocí A a proměnné jsou spojeny pomocí nebo.
Konjuktivně normální forma se často používá v automatickém důkazu teorémů, analýze logických výrazů a při vytváření softwarových modelů, jako jsou systémy umělé inteligence a odborné systémy.
| DNF | KNF |
|---|---|
| (A NEBO B) A (C NEBO D) | (A A C) NEBO (A A D) NEBO (B A C) NEBO (B A D) |
| A NEBO (B NEBO C) | (A A B) NEBO (A A C) |
Převod z disjunktivně normální formy
Při přeměně z disjunktivně normálního tvaru na konjuktivně normální formu je třeba postupovat podle následujících kroků:
- Změna alternativy - každá disjunktura se mění na konjunkturu.
- Distribuce - rozdělení konjunktury na disjunkturu za účelem získání konjuktivní normální formy.
- Zjednodušení - zjednodušení výsledné konjuktivní normální formy odstraněním zbytečných disjunktiv a konjunktiv.
Převod z disjunktivně normálního tvaru na konjuktivně normální formu umožňuje zjednodušit logický výraz a učinit jej srozumitelnějším pro další analýzu.
Algoritmus konstrukce
Chcete-li vytvořit konjuktivně normální formu (KNF) z disjunktivně normálního tvaru (DNF) , postupujte podle následujících kroků:
- Aplikovat De Morgan zákony: nahradit negaci před každým výrazem proměnné opačným popřením a nahradit konjunkturu disjunkturou a naopak.
- Použít rozdělení konjunktury vzhledem k disjunktuře k odhalení závorek a uvedení výrazu na vzhled, který nemá závorky.
- Odhalte závorky tím, že uvedete výraz do disjunktivní normální formy (DNF).
- Přidejte chybějící proměnné do každého výrazu DNF a přiřaďte jim hodnotu lži.
- Proveďte konjunkturu všech přijatých výrazů DNF, abyste získali KNF.
Tímto způsobem lze podle uvedeného algoritmu vytvořit konjuktivně normální formu z disjunktivně normální formy.
Příklady konjuktivně normální formy
Konjuktivně normální forma (KNF) je logický výraz složený ze spojivek literátů. Zde je několik příkladů výrazů v KNF:
- (A ∨ B) ∧ (¬A ∨ C)
- (¬A ∨ B ∨ C) ∧ (A ∨ ¬B)
- (A ∧ B) ∧ (¬A ∨ ¬B ∨ C)
V každém příkladu se výraz skládá z několika Konjunktur, které jsou spojeny operací " a " (logické a). Každá konjunktura má jeden nebo více literátů, které mohou být proměnné nebo jejich negace.