Zbekiston respublikasi raqamli texnologiyalari vazirligi

х1,х2,...,хn
F(х1,х2,...,хn )
00. . . 00	F(0, 0, . . . , 0,0)
00. . . 01	F(0,0, . . ., 0,1)
00 . . 10	F(0, 0, . . ., 1, 0)
. . . . . . . . .	. . . . . . . . .
11 . . . 11	F(1, 1, . . ., 1,1)

Bundan keyin ikkilik vektorlar leksik – grafik tartibda, ya'ni o’sish tartibida yozilgan deb hisoblaymiz.
Barcha n o’zgaruvchili Bul funksiyalar to’plami  belgilashni kiritamiz, u holda  degan tasdiq o’rinli bo’ladi.
Demak, n-o’zgaruvchilarning Bul funksiyasi x₁,x₂,...,x_n argumentlarining qiymatlarini chekli B to’plamdan qabul qilsin. Bu argumentlar o’zaro va ma'lum miqdordagi Bul amallari bilan bog’langan bo’lib, funksiyaning o’zi (argumentlar kabi) B={0,1} to’plamdan qiymatlar qabul qiladi. n-o’zgaruvchilarning Bul funktsiyasini f(x₁,x₂,...,x_n) ko’rinishida yozamiz.Birlashtirish, ko’paytirish va inkor qilish amallarini bajarish mumkin. Buning uchun bitta va ikkita argument uchun mumkin bo’lgan funktsiyani aniqlash lozim. Ikkala Bul funksiyasining umumiy sonini aniqlash formulasi argumentlarning soniga bog’liq qolda quyidagi ko’rinishda bo’ladi:
N=2²ⁿ
Bu yerda, N-Bul funksiyalar soni, n- argumentlar soni.
Bu formuladan bitta argument uchun to’rtta Bul funktsiyasi mavjudligi kelib chiqadi: y=x takrorlash funksiyasi, y= inkor funksiyasi, y=1 birlik konstanta, y=0 nol konstantasi deyiladi.
Bul algebrasi qonunlari, konyunksiya va dizyunksiya amallari uchun:
1. Kommutativlik qonuni: х₁Λх₂=х₂Λх₁ х₁Vх₂=х₂Vх₁
2. Assotsiativlik qonuni: х₁Λ(х₂Λх₃)=х₁Λх₂Λх₃
х₁V(х₂Vх₃)=(х₁Vх₂)Vх₃=х₁Vх₂Vх₃
3. Idempotentlik (tavtologiya) qonuni: хΛх=х хVх=х
4. Aylantirish qonuni: agar х₁=х₂bo’lsa,u holda  = bo’ladi.
5. Ikki marta inkor qonuni: =х
6. Bo’sh to’plam qonuni: хΛ0=0 хV0=х
7. Universalto’plamqonuni: хΛ1=х хV1=1
8. To’ldirish qonuni: хΛ =0 хV =1
9. Taqsimot qonuni: х₁Λ(х₂Vх₃)=х₁Λх₂Vх₁Λ х₃
х₁V(х₂Λх₃)=(х₁Vх₂)Λ(х₁Vх₃)
10. Yutilish qonuni: х₁Vх₁Λх₂=х₁ х₁Λ(х₁Vх₂ )=х₁
11. Birlashish (yopilish) qonuni: (х₁Vх₂)Λ(х₁V )=х₁ х₁Λх₂Vх₁Λ =х₁
12. Ikkiyoqlamalik (Dе-Mоrgаn) qonuni:  = V   = Λ
yoki chap va o’ng tomonlarni inversiyasidan keyin
х₁Λх₂= х₁Vх₂=
Masalan, Dе-Mоrgаn qonuni  = V jadval ko’rinishida isboti quyidagicha:

х1	х2	х1Λх2				V
1 1 0 0	1 0 1 0	1 0 0 0	0 1 1 1	0 0 1 1	0 1 0 1	0 1 1 1

D — «Darak ga’lar» to’plami.

C — «So’roq ga’lar» to’plami.

X — «His-hayajon ga’lar» to’plami.
Haqiqatan ham, D∪C∪X — ga’lar to’plami va D∩C∩X = ∅ bo’ladi.
O’z navbatida «darak ga’lar» to’plamini ham 3 ta to’plamga ajratish mumkin.
Rost yoki yolg’onligini bir qiymatli aniqlash mumkin bo’lgan darak gaplar. Masalan:
Toshkent shahri O’zbekiston Respublikasining poytaxti — rost;
London shahri Germaniyaning ‘oytaxti — yolg’on;
2— tub son — rost;
5 >6— yolg’on;
«3 soni 15 sonining bo’luvchisi» — rost.
Tarkibida o’zgaruvchi ishtirok etgan darak gaplar.
Masalan:

X shahar O’zbekiston Respublikasida joylashgan;

y —6 dan kichik tub son;

x — 5 dan kichik natural son;
O’ — o’zbek tilidagi unli tovush.
Rost yoki yolg’onligini aniqlash mumkin bo’lmagan darak gaplar.
Masalan:

Men bugun mehmonga bormoqchiman.
Bugun yomgir yog’sa kerak.
Men tadbirkor bo’lmoqchiman.
Matematika qiyin fan.


1-ta’rif. Rost yoki yolg’onligi bir qiymatli aniqlanadigan darak gaplar mulohaza deyiladi.
So’roq yoki his-hayajon ga’lar mulohaza bo’la olmaydi. Noma’lum qatnashgan gaplar ham mulohazaga kirmaydi.
Mulоhazalar bu matеmatik mantiq fanini bоshlang`ich tushunchasi hisоblanib, u quyidagicha quriladi:

1. ob’еktlar to`plami bеriladi:

   
   

2. оb’yеktlarning ba’zi bir хоssalari va ular оrasidagi munоsabatlar bayon qilinadi.

   
   

Mulоhazalar nazariyasining bоshlang`ich оb’yеktlari sоdda mulоhazalardan tashkil tоpadi va ular lotin alifbоsining katta harflari  lar bilan bеlgilanadi. Har bir sоdda mulоhaza rost yoki yolg`оn bo`lishi mumkin..