Sisu
- Definitsioon - mida tähendab konjunktiivne normaalvorm (CNF)?
- Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
- Techopedia selgitab konjunktiivset normaalvormi (CNF)
Definitsioon - mida tähendab konjunktiivne normaalvorm (CNF)?
Konjunktiivne normaalvorm (CNF) on lähenemine Boole'i loogikale, mis väljendab valemeid klauslite koosseisudena koos AND-ga või OR-ga. Iga konjunktsiooniga ühendatud lause JA peab olema kas sõnasõnaline või sisaldama disjunktsiooni või VÕI operaatorit. CNF on kasulik automatiseeritud teoreemi tõestamiseks.
Sissejuhatus Microsoft Azure'i ja Microsoft Cloud | Kogu selle juhendi kaudu saate teada, mis on pilvandmetöötlus ja kuidas Microsoft Azure aitab teil pilvest rännata ja oma ettevõtet juhtida.
Techopedia selgitab konjunktiivset normaalvormi (CNF)
Konjunktiivses tavapärases vormis on Boole'i loogikas esitatud avaldused lausete ja disjunktsioonide lausete ühendused. Teisisõnu: avaldus on JA-dega ühendatud OR-de seeria.
Näiteks:
(A VÕI B) JA (C VÕI D)
(A VÕI B) JA (VÕI VÕI B)
Need klauslid võivad olla ka grammaalsed:
VÕI B
A JA B
Literaale käsitletakse CNF-is sõnasõnaliste lausete ja konjunktsioonide koosmõjudena, millel juhtub olema üks klausel. Võimalik on teisendada avaldused CNF-ideks, mis on kirjutatud mõnel teisel kujul, näiteks disjunktiivsel tavalisel kujul.