O. S. Rayimjonova M. G. Tillaboyev sh. U. Ergashev

teng qiymatlilikning inkori
deb ham atashadi. 
1.3.5.6-jadval 
1.3.5.7-jadval 
0

0=1 
0

1=0 
1

0=0 
1

1=1 
0

0=0 
0

1=1 
1

0=1 
1

1=0 
- x va y ning
 
implikatsiyasi. x
→
y kabi belgilanadi. «Agar x, unda y» deb 
o‘qiladi. Tahrifi: x va y ning implikatsiyasi murakkab funksiya bo‘lib, u faqat x 
haqiqiy, y yolg‘on bo‘lgandagina yolg‘on hisoblanadi (1.3.7-jadval). Tahkidlash 
lozimki, implikatsiya sabab va oqibat orasidagi bog‘lanish mahnosiga ega emas, 
yaxni x ning haqiqiyligidan y ning haqiqiylik sharti kelib chiqmaydi. Aksincha, 
implikatsiya yordamida tuzilgan murakkab fikrning haqiqiyligi uchun x ning 
yolg‘onligi kifoya. f
13
funksiya y
→
x ga mos keladi. 
- x va y ning
 
SHeffer shtrixi. x/y kabi belgilanadi. «x shtrix y» deb o‘qiladi. 
Tahrifi: x va y ning SHeffer shtrixi murakkab funksiya bo‘lib, u faqat x va y haqiqiy 
bo‘lgandagina yolg‘on hisoblanadi (1.3.8-jadval). 
- x va y ning
 
Pirs strelkasi. x

y kabi belgilanadi. «x Pirs strelkasi y» deb 
o‘qiladi. Tahrifi: x va y ning Pirs strelkasi murakkab funksiya bo‘lib, u faqat x va y 
yolg‘on bo‘lgandagina haqiqiy hisoblanadi (1.3.9-jadval). 

---

28 
1.3.5.8-jadval 
1.3.5.9-jadval 
1.3.5.10-jadval 
0
→
0=1 
0
→
1=1 
1
→
0=0 
1
→
1=1 
0

0=1 
0

1=1 
1

0=1 
1

1=0 
0

0=1 
0

1=0 
1

0=0 
1

1=0 
1.3.10-jadvalda uchta o‘zgaruvchili mantiqiy funksiya uchun haqiqatlik jadvali 
keltirilgan. 
1.3.5.11-jadval 
To‘plam tartib 
raqami 
x
1
, x
2
, x
3
to‘plamlari 
f funksiya 
qiymati 
0 
1 
2 
3 
4 
5 
6 
7 
000 
001 
010 
011 
100 
101 
110 
111 
0 
0 
0 
1 
0 
1 
1 
1