Magkakasundong Normal na Form (CNF)

May -Akda: Monica Porter
Petsa Ng Paglikha: 21 Marso. 2021
I -Update Ang Petsa: 27 Hunyo 2024
Anonim
Magkakasundong Normal na Form (CNF) - Teknolohiya
Magkakasundong Normal na Form (CNF) - Teknolohiya

Nilalaman

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 formula 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.


Isang Panimula sa Microsoft Azure at ang Microsoft Cloud | Sa buong gabay na ito, malalaman mo kung ano ang lahat ng cloud computing at kung paano makakatulong ang Microsoft Azure sa iyo upang lumipat at patakbuhin ang iyong negosyo mula sa ulap.

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 disjunction. 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 pagkakagusto normal na form.