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