Obsah:
- Definícia - Čo znamená konjunktívna normálna forma (CNF)?
- Techopedia vysvetľuje spojivkovú normálnu formu (CNF)
Definícia - Čo znamená konjunktívna normálna forma (CNF)?
Spojivová normálna forma (CNF) je prístup k logickej logike, ktorá vyjadruje vzorce ako spojenie klauzúl s AND alebo OR. Každá klauzula spojená spojkou alebo AND musí byť buď doslovná alebo musí obsahovať disjunkciu alebo operátora OR. CNF je užitočný pre automatické dokazovanie teorémov.
Techopedia vysvetľuje spojivkovú normálnu formu (CNF)
V spojivej normálnej forme sú výroky v logickej logike konjunkciou klauzúl s klauzulami disjunkcií. Inými slovami, vyhlásenie je radom NR spojených s AND.
Napríklad:
(A ALEBO B) A (C ALEBO)
(A ALEBO B) A (NE C ALEBO B)
Klauzuly môžu byť tiež literárne:
A ALEBO B
A a B
Literárne texty sú v CNF vnímané ako spojenia doslovných doložiek a spojení, ktoré majú jednu klauzulu. Je možné prevádzať výkazy na CNF, ktoré sú napísané v inej forme, napríklad v normálnej disjunkčnej forme.
