Predikat tushunchasi. Predikatlar ustida mantiqiy amallar

3.3. Bul funksiyalarining o’zgaruvchilar bo’yicha yoyilmasi.
Mukammal diz’yunktiv normal shakl. Mukammal kon’yunktiv normal shakl. funksiyani quyidagicha: o’zgaruvchilaribo’yichayoyilmasi

distributivlik qonunini qo’llab qavslarni ochamiz

. Ю ning ‐darajasi
natija olinadi.

Misol: o’zgaruvchilari bo’yicha yoyilmasini toping. Yoyilma koeffisiyentlarini topamiz:
;
;
;

Yoyilma koeffisiyentlarini formulaga qo’yamiz:

(0,0, Z) xy(z Z)Ъ
funksiyani ta o’zgaruvchilaribo’yichayoyilmasi quyidagicha:

‐Mukammaldiz’yunktivnormal
shakl. (MDNSh)
‐Mukammal kon’yunktivnormalshakl. (MKNSh)
Muammoli masala va topshiriqlar:
3.3.1. Berilgan bul funksiyalarini a) o’zgaruvchisi bo’yicha yoyilmasini toping;
b) o’zgaruvchilari bo’yicha yoyilmasini toping:
1) ;
2) ;
3) ;

Predikatlar va kvantorlar
Tayanch iboralar: predikatlar algebrasi, predikatning aniqlanish sohasi, predikatning rostlik to`plami, rostlik to`plami, predikatlar konyunksiyasi, diz’yunksiyasi, ekvivalensiyasi, implikatsiyasi, inkori, kvantor tushunchasi, umumiylik kvantori, mavjudlik kvantori, paradoks, kutilmagan, g`alati, shubhasiz to`g`ri, yolg`onchi va refleksivlik paradokslar, sofizm, hiyla, Zenon masalalari.
1. Predikatlar va ular ustida amallar
Predikatlar haqida tushuncha. Mulohazalar algebrasi fan va amaliyotning murakkab mantiqiy xulosalarini chiqarish uchun yetarli bo`lmaydi. Bunday murakkab mantiqiy xulosalarini chiqarishda mulohazalar algebrasini ham o`z ichiga oluvchi predikatlar algebrasi muhim o`rin tutadi.
Biz soroq va his-hayajon gaplar mulohaza bo`lmasligini bilamiz, xuddi shu qatorda noma’lum qatnashgan gaplar ham mulohazaga kirmaydi. Bunday gaplar predikatlar deb ataladi. Shu o`rinda predikatlar mulohazaga aylanadimi, degan savol tug`ilishi tabiiy. Biz quyida ana shu masalani ko`rib o`tamiz.
Ayrim darak gaplarda o`zgaruvchilar qatnashib, shu o`zgaruvchilar o`rniga aniq (tegishli) qiymatlarni qo`ysak, mulohaza hosil bo`ladi.