8 §. Formulalarning normal shakllari (dnf va knf)


Download 316.25 Kb.
bet2/3
Sana17.06.2023
Hajmi316.25 Kb.
#1547726
1   2   3
Bog'liq
8-tema 109

x

y

z

f(x, y, z)

x

y

z

f(x, y, z)

0

0

0

1

1

0

0

1

0

0

1

0

1

0

1

0

0

1

0

0

1

1

0

1

0

1

1

1

1

1

1

1

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:

x

x

0

1

1

0

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:
1   2   3




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling