Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash



Yüklə 221,14 Kb.
səhifə3/8
tarix08.04.2022
ölçüsü221,14 Kb.
#85164
1   2   3   4   5   6   7   8
2-mavzu
Кичик гуруҳларда ижодий изланишни ташкил этиш метод lotin
3- ta’rif. Agar formulaning KNShi (DNShi) ifodasida bir xil elementar diz’yunksiyalar (kon’yunksiyalar) bo‘lmasa va barcha elementar diz’yunksiyalar (kon’yunksiyalar) to‘g‘ri hamda ifodada qatnashuvchi barcha elementar mulohazalarga nisbatan to‘liq bo‘lsa, u holda bu ifoda mukammal kon’yunktiv normal shakl (mukammal diz’yunktiv normal shakl) deb ataladi.1

4- ta’rif. Berilgan elementar mulohazalarga nisbatan formulaning MKNShidagi har bir had diz’yunktiv konstituyent, uning MDNShidagi har bir had esa kon’yunktiv konstituyent deb ataladi.

4- ta’rifda yerda ( ) ch yoki yo qiymat qabul qiluvchi parametrni ifodalaydi va o‘zgaruvchilar orasida bir xillari yo‘q.



3- misol. Tarkibida faqat bitta asosiy mantiqiy amal qatnashgan formulalarning mukammal normal sakllari (MKNShlari va MDNShlari) 1- jadvalda keltirilgan.

Yuqoridagi tasdiqning to‘g‘riligini tekshirish o‘quvchiga havola qilinadi.

1- jadvaldan ko‘rinib turubdiki, formulaning MKNShi ham, MDNShi ham uning o‘zidan iborat; formulaning MKNShida uchta ( , va ) diz’yunktiv konstituyentlar bor, uning MDNShi esa bitta kon’yunktiv konstituyentdan (shu formulaning o‘zidan) iborat; va hokazo. ■


1- jadval

Amal

MKNSh

MDNSh
































Yüklə 221,14 Kb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2022
rəhbərliyinə müraciət

    Ana səhifə