Ishning maqsadi: Tizimlarning asosiy tushuncha va ta’riflarini o’rganish

1-Laboratoriya ishi

1. 
   Quyidagi mulohazani mantiqiy formula ko’rinishida tasvirlang.
   

O’ldirish yoki zo’rlik bilan qo’rqitish sodir etilsa, u holda eng kam oylik ish haqining yigirma besh baravarigacha miqdorda jarima yoki bir yilgacha axloq tuzatish ishlari yohud olti oygacha qamoq bilan jazolanadi.
O’sha harakatlar: uyushgan guruh manfaatlarini ko’zlab sodir etilgan bo’lsa, - eng kam oylik ishhaqining yigirma besh baravaridan ellik baravarigacha miqdorda jarima yoki bir yildan ikki yilgacha axloq tuzatish ishlari yoxud bir yilgacha ozodlikdan maxrum qilish bilan jazolanadi.
Masalaning yechilishi:
O’ldirish A
zo’rlik bilan qo’rqitish sodir etilsa B
eng kam oylik ish haqining yigirma besh baravarigacha miqdorda jarima C
bir yilgacha axloq tuzatish ishlari yohud olti oygacha qamoq bilan jazolanadi E
uyushgan guruh manfaatlarini ko’zlab sodir etilgan bo’lsa F
eng kam oylik ishhaqining yigirma besh baravaridan ellik baravarigacha miqdorda jarima J
bir yildan ikki yilgacha axloq tuzatish ishlari K
bir yilgacha ozodlikdan maxrum qilish bilan jazolanadi L
((A V B)(C V E V F))(Q(x)(J V K V L))