share: true
aliases:
  - ÚDNT
  - ÚKNT
  - UDNT
  - UKNT
  - minterm
  - maxterm
  - úplný disjunktivní normální  tvar
  - úplný konjunktivní normální tvar

Úplný DNT, úplný KNT, minterm, maxterm

#definice Úplný DNT a KNT

Výroková formule je:

minterm formule , pokud je to takový její implikant, který obsahuje všechny prvotní formule vyskytující se v , každou právě jednou
maxterm formule , pokud je to taková její klausule, která obsahuje všechny prvotní formule vyskytující se v , každou právě jednou
v úplném disjunktivním normálním tvaru (ÚDNT), je-li mintermem nebo disjunkcí různých mintermů
v úplném konjunktivním normálním tvaru (ÚKNT), je-li maxtermem nebo konjunkcí různých maxtermů

Výrok Prvotní formule Literál Implikant $á ě$ Minterm ÚDNT
Výrok Prvotní formule Literál Klausule $á ě$ Maxterm ÚKNT

Poznámka

je ÚDNT kontradikce (s prázdnou množinou mintermů)
je ÚKNT tautologie (s prázdnou množinou maxtermů)

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25