Bul funksiyalari. Formulalarning teng kuchliligi. Predikatlar. Umumiylik va mavjudlik kvantorlari
Bul funksiyalari. Formulalar. Formulalarning teng kuchliligi. Predikatlar. Umumiylik va mavjudlik kvantorlari
|
2
|
10
|
Mantiq qonunlari. Mantiq funksiyalari uchun rostlik jadvalini tuzish
Mantiq qonunlari. Mantiq funksiyalari uchun rostlik jadvalini tuzish Rostlik jadvali bo'yicha mantiq funksiyalarining ko'rinishini tiklash
|
2
|
11
|
Normal shakllar. Mukammal normal shakllar. Rostlik jadvallari bo'yicha mantiq funksiyalarining ko'rinishini tiklash
Bul funksiyalari uchun diz'yunktiv va kon'yunktiv normal shakllar (DNSh, KNSh). Mukammal diz'yunktiv va mukammal kon'yunktiv normal shakllar(MDNSh, MKNSh)
|
2
|
12
|
Ikkilik mantiqiy elementlar. Ikkilik mantiqiy elementlarining qo'llanilishi. Mantiqiy sxemalarda analiz va sintez masalalar
Mantiqiy formulalarni soddalashtirish. Ikkilik mantiqiy elementlar. Ikkilik mantiqiy elementlarining qo'llanilishi. Mantiqiy sxemalarda analiz va sintez masalalari
|
2
|
13
|
Mantiqiy to'rlar.Mantiq to'rlarini minimallashtirish usullari. Karno kartalari
Mantiqiy to'rlar.Mantiq to'rlarini minimallashtirish.Ikkilik mantiqiy amallariga mos sxemalar tuzish. Karno kartalari
|
2
|
14
|
|
