Mavzu: Formulalarning normal shakllari. Formulalarning mukammal normal shakllari Reja

2.Muammoli masala va topshiriqlar
1. Quyidagi formulalarning har biri uchun kamida ikkitadan KNSh va DNSh toping:
a) a  (b  c  a  b);
d) (x  y)  (x  y)  y ;
b) x  y  zx  yz ;
e) x(x  y) ;
f) (x  z) ( y  z)  (x  y  z) ;
h) (x  y)  ( y  z)  (z  t)  (t  x) .

• Chinlik alomatini qo‘llab ushbu bobning 3- paragrafidagi 1- topshiriqda ifodalangan formulalardan qaysilari tavtologiya bo‘lishini aniqlang.
• Yolg‘onlik alomatini qo‘llab ushbu bobning 3- paragrafidagi 1- topshiriqda ifodalangan formulalardan qaysilari aynan yolg‘on bo‘lishini aniqlang.
• Chinlik va yolg‘onlik alomatlaridan foydalanib ushbu bobning 3- paragrafidagi 3- topshiriqni bajaring.

Mustaqil ishlash uchun savollar

• Formulalarning normal shakllarini o‘rganish jarayonida qaysi teng kuchliliklardan foydalaniladi?
• Elementar kon’yunksiya va elementar diz’yunksiya deganda nimani tushunasiz?
• Formulaning kon’yunktiv normal shakli bilan uning diz’yunktiv normal shakli tushunchalari orasida qanday o‘xshashlik va farq bor?
• DNShning kon’yunktiv hadi ifodasida bir xil o‘zgaruvchilar bo‘lishi mumkinmi?
• KNShning diz’yunktiv hadi qanday aniqlanadi?
• Mantiq algebrasining berilgan formulasi KNShga qanday keltiriladi?
• Mantiq algebrasining formulasi tavtologiya bo‘lishi uchun qanday zarur va yetarli shartlar bor?
• Mantiq algebrasining qanday formulasini DNShga keltirish mumkin?
• Mantiq algebrasining formulasi doimo yolg‘on bo‘lishi uchun qanday zarur va yetarli shartlar bor?
• Yechilish muammosi qanday shartlarda ijobiy hal bo‘ladi?