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

Իսկության աղյուսակ , տրամաբանական գործողությունը բնութագրող աղյուսակ։ Այս դեպքում «տրամաբանական գործողություն» ասելով հասկանում ենք գործողությունը, որում փոփոխականների (գործողության պարամետրերի) և հենց գործողության նշանակությունը տրամանական իսկություն են արտահայտում։ Օրինակ, երկնիշ տրամաբանության մեջ նրանք կարող են երկու իմաստ ընդունել՝ «ճշմարիտ» կամ «կեղծ» ( $~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

Տես նաև

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

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

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