Obsah
- Vymedzenie pojmu - Čo znamená konjunktívna normálna forma (CNF)?
- Úvod do programu Microsoft Azure a Microsoft Cloud V tejto príručke sa dozviete, o čom všetko je cloud computing a ako vám môže Microsoft Azure pomôcť migrovať a podnikať z cloudu.
- Techopedia vysvetľuje spojivkovú normálnu formu (CNF)
Vymedzenie pojmu - Č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.
Úvod do programu Microsoft Azure a Microsoft Cloud V tejto príručke sa dozviete, o čom všetko je cloud computing a ako vám môže Microsoft Azure pomôcť migrovať a podnikať z cloudu.
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.