15
1.1.
0-konstanta 0, yani mutlaqo xatto (yolg’on) gap
2.2.
1-konstanta 1, yani mutlaqo to’g’ri gap
3.3. X-bir-biriga aynan o’xshash funktsiya
4.4. X-X ni rad etish, yoki «X emas»
5.5. (X1 & X2 )-konyunktsiyasi X1 va X2. «&» belgisi o’rniga X1 & X2 belgisi ishlatiladi
«u» «va» bog’lovchisini modellashtiradi.
6.6. (X1 v X2)- X1 va X2 rizyunktsiyasi. X1 v X2 operatstsiyasi «yoki» bog’lovchisini
modellashtiradi.
7.7.
(
)
2
1
X
X
⇒
X1 va X2 implikatsiyasi.
2
1
X
X
⇒
operatsiyasi «agar, … unda…»
bog’lovchisini modellashtiradi.
8.8.
(
)
2
1
X
X
⊕
-«mod 2» bo’yicha qo’shish.
9.9.
(
)
2
|
1
X
X
-Sheffer funktsiyasi.
Funktsiyalar ekvivalentligi. Elementlar funktsiyalar xususiyatlari.
Tarif:
N va D formullari, agar ularga mutanosib bo’lgan
n
f
va
D
f
funktsiyalar teng bo’lsa,
ekvivalent deb ataladilar. NQD yozuvi N va D formulalari ekvivalent ekanligini bildiradi.
Misol.
1.1.
(
)
×
×
+
&
0
2.2.
1
&
2
2
&
1
X
X
X
X
+
Elementar funktsiyalar xususiyatlarini xarakterlovchi ekvivalentliklar (ayniliklar) ro’yxatini
keltiramiz. Har qanday
(
)
2
&
1
X
X
funktsilardan birini
2
1
X
o
X
bilan belgilaymiz,
(
) (
)
2
1
1
,
2
X
X
X
X
⊕
ν
1.
(
)
2
1
X
o
X
funktsiyasi assotsiativlik xususiyatiga ega.
(
)
(
)
(
)
(
)
3
2
1
3
2
1
X
X
X
X
X
X
o
o
o
o
+
2.
(
)
2
1
X
X o
funktsiyasi kommutativlik xususiyatiga ega:
3.
4. Dizyunktsiya va konyunktsiyani rad qilish orasida o’zaro munosabat mavjud.
5. Konyunktsiya va dizyunktsiyalik quyidagi xususiyatlarini ham o’z o’rni bor:
Bu ayniliklar osnlikcha tekshirilish mumkin. Formulani yozishni soddalashtirish maqsadida
quyidagicha tartibni belgilash mumkin: «&» operatsiyasi «V» operatsiyasidan kuchlidir, aar qavslar
bo’lmasa, unda avval «&» operatsiyachi, so’ngra esa «V» operatsiyasi bajariladi. Bundan tashqari,
assotsiativlik
qonuniga binoan
(
)
2
1
X
X o
uchun
(
)
(
X
X
X
⋅
2
1
o
va
(
)
(
)
3
2
1
X
X
X
o
o
formulalari
o’rnida
(
)
3
2
1
X
X
X
o
o
ifodalaridan foydalanish mumkin.