if A=B=0 or A=C=0 and B=1 or A=B=1 and C=0 then F(A,B,C)=1 else F(A,B,C)=0
Yechimlar daraxtidan yechimlar diagrammasiga o‘tish natijasi boshlang‘ich yechimlar daraxtida o‘zgaruvchilarni yaruslarga qaysi tartibda qo‘yilganligiga ham sezilarli darajada bog‘liq.
Yuqoridagi misolda yechimlar daraxtida o‘zgaruvchilarni yaruslarga B,A, C tartibida joylashtirilsa, u holda yechimlar diagrammasi yanada ixchamlashadi:
Natijada F(A,B,C) funksiya qiymatlarini yechimlarning binar diagrammasi orqali berish mumkin:
if B=1 then F(A,B,C)=C else F(A,B,C)=A
Ushbu ko‘rilgan misol shundan dalolat beradiki, ayrim hollarda funksiyalarning shunday maxsus ko‘rinishlarini qurish mumkinki, funksiyalarni massivlar yoki formulalar yordamida ifodalash kabi universal usullarga nisbatan, xotirada kam ma’lumot saqlashni va shu bilan birga hisoblashni tezroq amalga oshirish imkonini beradi.
Quyida keltirilgan F(A,B,C) formulalar uchun yechimlar daraxti, ulardan yechimlarning binar diagrammasi va ular yordamida funksiya qiymatlarini dasturda kiriting:
6.1
|
F(0,0,0)=F(0,1,0)=F(1,0,0)=F(1,1,0)=0
|
6.2
|
F(0,0,0)=F(0,1,0)=F(1,0,0)=F(1,1,0)=1
|
6.3
|
F(0,0,0)=F(0,0,1)=F(1,0,0)=F(1,0,1)=1
|
6.4
|
F(0,0,0)=F(0,1,1)=F(1,0,0)=F(1,1,1)=0
|
6.5
|
F(0,0,0)=F(0,0,1)=F(1,0,0)=F(1,0,1)=0
|
6.6
|
F(0,0,0)=F(0,1,1)=F(1,0,0)=F(1,1,1)=1
|
6.7
|
F(0,1,1)=F(1,1,1)=0
|
6.8
|
F(0,1,0)=F(1,1,0)=0
|
6.9
|
F(0,0,1)=F(1,0,1)=0
|
6.10
|
F(0,0,0)=F(1,0,0)=0
|
6.11
|
F(0,0,0)=F(1,0,0)=F(1,0,1)=F(1,1,0)= F(1,1,1)=0
|
6.12
|
F(0,0,0)=F(0,0,1)=F(1,0,1)=F(1,1,0)= F(1,1,1)=0
|
6.13
|
F(0,0,0)=F(0,0,1)=F(0,1,0)=F(1,1,0)= F(1,1,1)=0
|
6.14
|
F(0,0,0)=F(0,0,1)=F(0,1,0)=F(1,1,0)= F(1,1,1)=0
|
6.15
|
F(0,0,0)=F(0,0,1)=F(0,1,0)=F(0,1,1)= F(1,1,1)=0
|
6.16
|
F(0,0,0)=F(0,0,1)=F(0,1,0)=1
|
6.17
|
F(0,0,0)=F(0,0,1)=F(0,1,1)=1
|
6.18
|
F(0,0,0)=F(0,0,1)=F(1,0,0)=1
|
6.19
|
F(0,0,0)=F(0,0,1)=F(1,1,0)=1
|
6.20
|
F(0,0,0)=F(0,0,1)=F(1,1,1)=1
|
6.21
|
F(0,0,0)=F(0,1,0)=F(0,1,1)=1
|
6.22
|
F(0,0,0)=F(0,1,0)=F(1,0,0)=1
|
6.23
|
F(0,0,0)=F(0,1,0)=F(1,1,0)=1
|
6.24
|
F(0,0,0)=F(0,1,0)=F(1,1,1)=1
|
6.25
|
F(0,0,0)=F(0,1,1)=F(1,1,1)=1
|
6.26
|
F(0,0,0)=F(1,0,1)=F(1,1,0)=1
|
6.27
|
F(0,0,1)=F(1,0,0)=F(1,1,0)=1
|
6.28
|
F(0,1,0)=F(1,0,0)=F(1,1,0)=1
|
6.29
|
F(0,0,0)=F(1,0,0)=F(1,0,1)=F(1,1,0)= F(1,1,1)=1
|
6.30
|
F(1,0,0)=F(0,0,1)=F(0,1,0)=F(1,1,0)= F(1,1,1)=1
|
Nazorat savollari
1.
|
Fikr deb nimaga aytiladi?
|
2.
|
Sodda va tuzilgan fikrlar ta’riflari
|
3.
|
Implikatsiya amalining mantiqan to‘g‘riligiga misol keltiring?
|
4.
|
Qanday shart bajarilsa formulalar teng kuchli bo‘ladi?
|
5.
|
Qanday shart bajarilganda formulaga tavtologiya deyiladi?
|
6.
|
Qanday shart bajarilganda formulaga qarama-qarshilik deyiladi?
|
7.
|
Rostlik jadvali ta’rifini keltiring.
|
8.
|
Fikr o‘zgaruvchilari deb nimaga aytiladi?
|
9.
|
Bul funksiyalari deb nimaga aytiladi?
|
10.
|
Inkor funksiyasi qanday amalga oshiriladi?
|
11.
|
Kon’yunksiya funksiyasi qanday amalga oshiriladi?
|
12.
|
Diz’yunksiya funksiyasi qanday amalga oshiriladi?
|
13.
|
Implikatsiya funksiyasi qanday amalga oshiriladi?
|
14.
|
Ekvivalentlik funksiyasi qanday amalga oshiriladi?
|
15.
|
Ikki modul bo‘yicha yig‘indi Inkor funksiyasi qanday amalga oshiriladi?
|
16.
|
Sheffer shtrixi funksiyasi qanday amalga oshiriladi?
|
17.
|
Pirs strelkasi funksiyasi qanday amalga oshiriladi?
|
18.
|
Amallarning bajarilish ketma-ketligini keltiring ?
|
19.
|
Formulani 1 ga teng qiymatlari bo‘yicha qanday tiklanadi?
|
20.
|
Formulani 0 ga teng qiymatlari bo‘yicha qanday tiklanadi?
|
21.
|
Ikkilangan rad etish qonunini keltiring.
|
22.
|
& va \/ amallarining idempotentligi qoidasini keltiring.
|
23.
|
& va \/ amallarining kommutativligi qoidasini keltiring.
|
24.
|
& va \/ amallarining assosiativligi qoidasini keltiring.
|
25.
|
& va \/ amallarining bir-biriga nisbatan distributivlik qonunlarini keltiring.
|
26.
|
Yutilish qonunlarini keltiring
|
27.
|
De Morgan qonunlarini keltiring.
|
28.
|
Qarama-qarshilik qonunlarini keltiring.
|
29.
|
Tavtologiya va qarama-qarshilik qonunlarini keltiring.
|
30.
|
Kontrpozitsiya qonunini keltiring.
|
31.
|
Implikatsiyadan qutilish qonunini keltiring.
|
32.
|
Ekvivalentlikdan qutilish qoidasini keltiring.
|
33.
|
“Va” mantiqiy elementini ishlash printsipini tushuntiring.
|
34.
|
“Yoki” mantiqiy elementini ishlash printsipini tushuntiring
|
35.
|
Invertor mantiqiy elementi.
|
36.
|
“Va-yo‘q” mantiqiy elementi.
|
37.
|
“Yoki-yo‘q” mantiqiy elementi.
|
38.
|
Ikki o‘zgaruvchili Karno kartalari va ular bo‘yicha formulani soddalashtirish.
|
39.
|
Uch o‘zgaruvchili Karno kartalari va ular bo‘yicha formulani soddalashtirish.
|
40.
|
To‘rt o‘zgaruvchili Karno kartalari va ular bo‘yicha formulani soddalashtirish.
|
41.
|
Binar yechimlar daraxtidan binar yechimlar diagrammasiga o‘tish bosqichlarini keltiring.
|
Dostları ilə paylaş: |
