Mavzu: Bul algebrasi. Ikkilik mantiqiy amallar. Konʼyunktsiya, dizʼyunktsiya, inkor, implikatsiya, ekvivalentlik amallari. Chinlik jadvallarini tuzish. Chinlik jadvallari orqali soddalashtirish

3-AMALIY MASHG’ULOT
MAVZU: Bul algebrasi. Ikkilik mantiqiy amallar. Konʼyunktsiya, dizʼyunktsiya, inkor, implikatsiya, ekvivalentlik amallari. Chinlik jadvallarini tuzish. Chinlik jadvallari orqali soddalashtirish.Bul funktsiyalari uchun dizʼyunktiv va mukammal konʼyunktiv normal shakllar (DNSh, KNSh). Mukammal dizʼyunktiv va mukammal konʼyunktiv normal shakllar (MDNSh, MKNSh).Mantiq toʼrlarini minimallashtirish. Karno kartalari tuzish.Mukammal dizʼyunktiv normal shakldagi bul funktsiyalarini karno kartalari orqali soddalashtirish.Ikkilik mantiqiy amallariga mos sxemalar tuzish.Graflarni analitik usulda berilishiga koʼra chizish. Oddiy graf. Mul'tigraf, psevdograf. Graf uchlarining darajalari va qirralari sonini topish. Graflar ustida amallar. Graflarning qoʼshnilik va intsidentlik matritsalari.