1-Amaliy mashgulot Mantiq algebrasi qonunlari va qoidalarini o’rganish Amaliy mashg’ulotni maqsadi

1-Amaliy mashgulot
Mantiq algebrasi qonunlari va qoidalarini o’rganish
Amaliy mashg’ulotni maqsadi: Mantiq algebrasining asosiy amallari o’rganish.

*VA (birikma ) bilan belgilanadi x∧y (ba'zan x VA y yoki Kxy), qondiradi x∧y=1 agar x=y=1 va x∧y Aks holda =0.
*Yoki (ajratish ) bilan belgilanadi x∨y (ba'zan x Yoki y yoki Axy), qondiradi
x∨y=0 bo'lsa x=y= 0 va x∨y Aks holda =1.
*YO'Q (inkor ), ¬ bilan belgilanadix (ba'zan YO'Q x, Nx yoki!x), qondiradi ¬x=0 bo'lsa x=1 va ¬x = 1 agar x = 0.
Shu bilan bir qatorda x∧y, x∨yva ¬x ularning qiymatlarini jadvalga kiritish orqali ifodalanishi mumkin haqiqat jadvallari quyidagicha:
1-jadval

x	x	X^y	x∨y
0	0	0	0
1	0	0	1
0	1	0	1
1	1	1	1

x	¬x
0	1
1	0

Agar 0 va 1 haqiqat qiymatlari butun son sifatida talqin qilinsa, bu amallar oddiy arifmetik amallar bilan ifodalanishi mumkin (bu erda x + y qo'shimcha va ishlatadi xy ko'paytirishdan foydalanadi), yoki minimal / maksimal funktsiyalar bo'yicha:

Faqatgina inkor va boshqa ikkita operatsiyadan biri asosiy deb o'ylashi mumkin, chunki inkor va disjunksiya nuqtai nazaridan bog'lanishni aniqlashga imkon beradigan quyidagi o'ziga xosliklar va (aksincha (De Morgan qonunlari ):