Buxoro davlat universiteti axborot texnologiyalari fakulteti

Pirs strelkasi. ”↓”kabi belgilanadi.Murakkab mulohaza “x↓y” “x Pirs strelaksi y” kabi o’qiladi.

Mantiqiy qo’shish deb, bu mulohaza va lar bir vaqtda yolg’on bo’lgandagina yolg’on,qolgan barcha holatda rost qiymatlarni qabul qiladi Mulohazalar implikatsiyasi deb, x1 chin x2 yolg’on bo’lgandagina yolg’on,qolgan barcha holatlarda rost qiymatni qabul qiladi

		ᴠ
1	1	1
1	0	1
0	1	1
0	0	0

1	1	1
1	0	1
0	1	1
0	0	0

		→
1	1	1
1	0	0
0	1	1
0	0	1

1	1	1
1	0	0
0	1	1
0	0	1

Mulohazalarning ekvivalenti deb, bu mulohaza x1 va x2 lar bir vaqtda bir xil qiymat qabul qilgandagina bir xil vaqtda chin yoki bir xil vaqtda yolg’on bo’lgandagina chin qolgan vaqtda yolg’on qabul qiladi Mulohazalar sodda va murakkab boʻlishi mumkin. Biror shart yoki usul bilan bogʻlanmagan hamda faqat bir holatni ifo­dalovchi mulohazalar sodda mulohazalar deyiladi. Sodda mulohazalar ustida amallar bajarib, murakkab mulohazalarni hosil qilish mumkin. Murakkab mulohazalarni bajarilishi quyida ko’rib chiqamiz….

		↔
1	1	1
1	0	0
0	1	0
0	0	1

1	1	1
1	0	0
0	1	0
0	0	1

Misol: A=((y)k) formulaning chinlik jadvali quyidagicha tuziladi

x 0	y 0	k 0	┐x 1	┐x→y 0	┐k 1	A 0
0	0	1	1	0	0	0
0	1	0	1	1	1	1
0	1	1	1	1	0	0
1	0	0	0	1	1	1
1	0	1	0	1	0	0
1	1	0	0	1	1	1
1	1	1	0	1	0	0

Jadvalni mantiqiy amallarning ta’rifi sifatida qabul qilamiz va bu jadval chinlik jadvali deb aytiladi

x	y	x˄y	x˅y	x→y	x↔y	x│y	x↓y
1	1	1	1	1	1	0	0
1	0	0	1	0	0	1	0
0	1	0	1	1	0	1	0
0	0	0	0	1	1	0	1

D V ᒣB Λ A mantiqiy ifodaga mos chinlik jadvalini tuzing.

A	B	D	ᒣ B	ᒣ B Λ A	D V ᒣB Λ A
1	1	1	0	0	1
1	1	0	0	0	0
1	0	1	1	1	1
1	0	0	1	1	1
0	1	1	0	0	1
0	1	0	0	0	0
0	0	1	1	0	1
0	0	0	1	0	0