KNT, klausule

#definice Konjunktivní normální tvar (KNT)

Výroková formule je:

  • klausule, je-li literálem nebo disjunkcí několika literálů
  • v konjunktivním normálním tvaru (KNT), je-li klausulí nebo konjunkcí několika klausulí.
  • Výrok Prvotní formule Literál Implikant DNT
  • Výrok Prvotní formule Literál Klausule KNT

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