Talaan ng mga Nilalaman:
- Kahulugan - Ano ang ibig sabihin ng Conjapter Normal Form (CNF)?
- Ipinapaliwanag ng Techopedia ang Conjapter Normal Form (CNF)
Kahulugan - Ano ang ibig sabihin ng Conjapter Normal Form (CNF)?
Ang koneksyon ng normal na form (CNF) ay isang diskarte sa lohika ng Boolean na nagpapahayag ng mga pormula bilang mga pangatnig ng mga sugnay na may isang O o O. Ang bawat sugnay na konektado ng isang magkakasamang, o AT, ay dapat na maging isang literal o naglalaman ng isang disjunction, o O operator. Ang CNF ay kapaki-pakinabang para sa awtomatikong teorem na nagpapatunay.
Ipinapaliwanag ng Techopedia ang Conjapter Normal Form (CNF)
Sa magkatulad na normal na anyo, ang mga pahayag sa lohika ng Boolean ay mga pangatnig ng mga sugnay na may mga sugnay ng mga disjunctions. Sa madaling salita, ang isang pahayag ay isang serye ng mga OR na konektado ng mga AND.
Halimbawa:
(A O B) AT (C O D)
(A O B) AT (HINDI C O B)
Ang mga sugnay ay maaari ring mga literalista:
Isang O B
A AT B
Ang mga panitikan ay nakikita sa CNF bilang mga pangatnig ng literal na sugnay at pangatnig na nangyayari na magkaroon ng isang sugnay. Posible na mai-convert ang mga pahayag sa CNF na nakasulat sa ibang anyo, tulad ng hindi gumagambalang normal na form.
