Nilalaman
- Kahulugan - Ano ang ibig sabihin ng Disjapter Normal Form (DNF)?
- 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 Disjapter Normal Form (DNF)
Kahulugan - Ano ang ibig sabihin ng Disjapter Normal Form (DNF)?
Ang hindi makatarungang normal na form (DNF) ay ang pag-normalize ng isang lohikal na pormula sa matematika ng Boolean. Sa madaling salita, ang isang lohikal na pormula ay sinasabing nasa hindi normal na form kung ito ay isang disjunction ng mga pangatnig sa bawat variable at ang negation nito ay naroroon nang isang beses sa bawat pagkakasundo. Ang lahat ng hindi nakagawing normal na mga form ay hindi natatangi, dahil ang lahat ng hindi magkakasamang normal na mga form para sa parehong panukala ay magkatulad na katumbas.
Ang hindi makatarungang normal na form ay malawakang ginagamit sa mga lugar tulad ng 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 Disjapter Normal Form (DNF)
Ang isang lohikal na pormula ay nasa hindi normal na form na kung kung mayroon lamang kung mayroong pagkakaroon ng kahalili ng isa o higit pang mga pangatnig ng isa o higit pang mga literatura. Ang isang pormula ay isinasaalang-alang tulad ng sa buong disjapter normal na form kung ang lahat ng mga variable na kasangkot ay kinakatawan lamang ng isang beses sa bawat sugnay. Katulad sa normal na form na magkatugma, ang mga nagpapatakbo na operator sa hindi normal na form ay pareho: AT, O at HINDI.
Ang lahat ng mga lohikal na formula ay maaaring ma-convert sa isang katumbas na disjatib na normal na form. Gayunpaman, sa ilang mga kaso, posible ang pagsabog ng pag-andar ng lohikal na pag-andar dahil sa pagbabalik sa hindi normal na form. Ang isa pang nakapangingilabot na punto ay ang anumang natatanging pag-andar ng Boolean ay maaaring kinakatawan ng isa at isang natatanging buong disjatib na normal na form. Sa tulong ng mga pamamaraan tulad ng pamamaraan ng talahanayan ng katotohanan, ang mga puno ng katotohanan o isang talahanayan ng mga pagkakatugma ng lohikal, maaaring matanggal ang normal na form para sa mga lohikal na formula. Ang K-DNF, isang pagkakaiba-iba ng hindi pagkakaunawaan na normal na anyo, ay malawakang ginagamit at tanyag sa pag-aaral ng pagiging kumplikado ng computational.