Ushbu darsda mantiqiy ifodalarning rostlik jadvalini tuzish ketma-ketligi ko'rib chiqiladi. Mulohazalar to'plami va ularda bajariladigan mantiqiy amallar ( &, ∨, ⏋, =>, <=> ) hamda murakkab mulohazalar haqida ma'lumot beriladi