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

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

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

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

Կոնյունկցիա $~a$ $~b$ $~a\land b$ $~0$ $~0$ $~0$ $~0$ $~1$ $~0$ $~1$ $~0$ $~0$ $~1$ $~1$ $~1$	Դիզյունկցիա $~a$ $~b$ $~a\lor 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\rightarrow 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$ $\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

Տես նաև

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

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

• Յաբլոնսկի, Գավրիլով, Կուդրյավցև, Տրամաբնության հանրահաշվի գործողություններ և Պոստի դասեր, Մոսկվա, «Գիտություն»։

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

• Իսկության աղյուսակների կառուցումը օնլայն Արխիվացված 2014-04-12 Wayback Machine
• Մաթեմատիկական տրամաբանության օնլայն գործիքներ