8 §. Formulalarning normal shakllari (dnf va knf)
Download 316.25 Kb.
|
8-tema 109
6-o'zgaruvchini va o'zgaruvchini o'z ichiga olgan xy yz yz ga teng f funktsiyasining tugallangan DNF-ga mos keladi. va o'zgaruvchilarning inkorlari. Ikkala o'lik DNF funktsiyasi ham 6 o'zgaruvchini yoki o'zgaruvchining inkorlarini o'z ichiga olganligi sababli, ularning har biri f funktsiyasining minimal DNFidir.Ulardan minimal CNF funktsiyalarini tuzamiz.xy y z yz formulasida & belgisini belgi bilan almashtiring,ularni & belgisiga qo'ying va har bir o'zgaruvchining ustiga inkor belgisini qo'yamiz. (x ^y) (y^z) (y^ z) shaklini olamiz.Bu f funktsiyasining minimal CNF formulasida biz & belgini, belgi bilan almashtiramiz. Ularni & belgisiga qo'ying va har bir o'zgaruvchining ustiga inkor belgisini qo'yamiz. (x^z) (y ^z) (y ^z) shaklini olamiz.Bu f funktsiyasining minimal CNF. Oddiy shakllar sinfidagi minimallashtirish. Biz f funktsiyasining barcha minimal DNF-ni quramiz f funktsiyasining barcha minimal CNF-larini toping. Olingan shakllardan biz eng kichik o'zgaruvchilar va o'zgaruvchilar inkorlari bo'lgan shaklni tanlaymiz.Bu minimal normal shakl (MNF) ning funktsiya F funktsiyasining minimal DNF xyz yz ga teng va 5 o'zgaruvchini va o'zgaruvchilarning inkorlarini o'z ichiga oladi.Har ikkala minimal CNF funktsiyalari f (xy yz yz va xzyz yz) 6 o'zgaruvchini va o'zgaruvchilarning negativlarini o'z ichiga oladi, shuning uchun minimal normal shakli f funktsiyasi f funktsiyasining minimal DNF-ga to'g'ri keladi va unga teng. Asosiy operatsiyalar. Funksiyaning qiymatini haqiqat jadvali yordamida ko'rsatish mumkin, bu uning o'zgaruvchan qiymatlarining barcha mumkin bo'lgan kombinatsiyalari uchun funktsiya nimaga tengligini ko'rsatadi. Inkor x Ushbu funktsiyaning haqiqat jadvali quyidagicha:
Biz inkor o'zgaruvchining mumkin bo'lgan qiymatlarini teskari yo'naltirayotganini ko'ramiz. Disjunktsiya x y. Ushbu funktsiyaning haqiqat jadvali quyidagicha:
Download 316.25 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling