Իսկության աղյուսակ

Իսկության աղյուսակ , տրամաբանական գործողությունը բնութագրող աղյուսակ։ Այս դեպքում «տրամաբանական գործողություն» ասելով հասկանում ենք գործողությունը, որում փոփոխականների (գործողության պարամետրերի) և հենց գործողության նշանակությունը տրամանական իսկություն են արտահայտում։ Օրինակ, երկնիշ տրամաբանության մեջ նրանք կարող են երկու իմաստ ընդունել՝ «ճշմարիտ» կամ «կեղծ» ($true$ կամ $false$, $1$ կամ $0$)։

Գործողությունների աղյուսակային առաջադրանքը հանդիպում է միայն տրամաբանության մեջ, սակայն տրամաբանական գործողությունների համար աղյուսակները սկսեցին հատկապես հարմար համարվել ավելի ուշ։ Արդեն 20-րդ դարի սկզբից նրանք ունեցան իրենց հատուկ անվանումը։ Իսկության աղյուսակները հատկապես գործածվում են բուլյան հանրահաշվում և նմանատիպ բազմանիշ տրամաբանական համակարգերում։

Իսկության աղյուսակները հիմնական երկնիշ տրամաբանական ֆունկցիաների համար

Կոնյունկցիա $a$ $b$ $a\wedge b$ $0$ $0$ $0$ $0$ $1$ $0$ $1$ $0$ $0$ $1$ $1$ $1$	Դիզյունկցիա $a$ $b$ $a\vee b$ $0$ $0$ $0$ $0$ $1$ $1$ $1$ $0$ $1$ $1$ $1$ $1$	մոդուլ 2-ով գումարում $a$ $b$ $a\oplus b$ $0$ $0$ $0$ $0$ $1$ $1$ $1$ $0$ $1$ $1$ $1$ $0$
Իմպլիկացիա $a$ $b$ $a\to b$ $0$ $0$ $1$ $0$ $1$ $1$ $1$ $0$ $0$ $1$ $1$ $1$		Համարժեքություն $a$ $b$ $a\leftrightarrow b$ $0$ $0$ $1$ $0$ $1$ $0$ $1$ $0$ $0$ $1$ $1$ $1$
Շեֆերի շտրիխ $a$ $b$ $a\mid b$ $0$ $0$ $1$ $0$ $1$ $1$ $1$ $0$ $1$ $1$ $1$ $0$	Փիրսի սլաք $a$ $b$ $a\downarrow b$ $0$ $0$ $1$ $0$ $1$ $0$ $1$ $0$ $0$ $1$ $1$ $0$	Ժխտում $a$ $\mathrm{\neg }a$ $0$ $1$ $1$ $0$

Իսկության աղյուսակներ որոշ եռանիշ տրամաբանական գործողությունների համար

x	2	1	0	2	1	0	2	1	0
y	2	2	2	1	1	1	0	0	0
Մինիմում	2	1	0	1	1	0	0	0	0

x	2	1	0	2	1	0	2	1	0
y	2	2	2	1	1	1	0	0	0
Մաքսիմում Մինուս.	2	2	2	2	1	1	2	1	0

x	2	1	0	2	1	0	2	1	0
y	2	2	2	1	1	1	0	0	0
Webb(x,y)	0	0	0	0	2	2	0	2	1

Տես նաև

• Բուլյան ֆունկցիաներ
• Տրամաբության հանրահաշիվ
• Բիթային գործողություններ
• Կառնոյի քարտեր

Գրականություն

• Կաղապար:Գիրք

Արտաքին հղումներ

• Իսկության աղյուսակների կառուցումը օնլայն Կաղապար:Webarchive
• Մաթեմատիկական տրամաբանության օնլայն գործիքներ