х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 x1,x2,...,xn 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(x1,x2,...,xn) 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:
N22n
Bu yerda, N-Bul funksiyalar soni, n- argumentlar soni.
Bu formuladan bitta argument uchun to’rtta Bul funktsiyasi mavjudligi kelib chiqadi: yx takrorlash funksiyasi, y inkor funksiyasi, y1 birlik konstanta, y0 nol konstantasi deyiladi.
Bul algebrasi qonunlari, konyunksiya va dizyunksiya amallari uchun:
1.
|
