Վիքիպեդիայից՝ ազատ հանրագիտարանից
Իսկության աղյուսակ , տրամաբանական գործողությունը բնութագրող աղյուսակ։
Այս դեպքում «տրամաբանական գործողություն» ասելով հասկանում ենք գործողությունը, որում փոփոխականների (գործողության պարամետրերի) և հենց գործողության նշանակությունը տրամանական իսկություն են արտահայտում։
Օրինակ, երկնիշ տրամաբանության մեջ նրանք կարող են երկու իմաստ ընդունել՝ «ճշմարիտ» կամ «կեղծ» (
t
r
u
e
{\displaystyle ~true}
f
a
l
s
e
{\displaystyle ~false}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
Գործողությունների աղյուսակային առաջադրանքը հանդիպում է միայն տրամաբանության մեջ, սակայն տրամաբանական գործողությունների համար աղյուսակները սկսեցին հատկապես հարմար համարվել ավելի ուշ։ Արդեն 20-րդ դարի սկզբից նրանք ունեցան իրենց հատուկ անվանումը։ Իսկության աղյուսակները հատկապես գործածվում են բուլյան հանրահաշվում և նմանատիպ բազմանիշ տրամաբանական համակարգերում։
Իսկության աղյուսակները հիմնական երկնիշ տրամաբանական ֆունկցիաների համար [ խմբագրել | խմբագրել կոդը ]
Կոնյունկցիա
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
∧
b
{\displaystyle ~a\land b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
Դիզյունկցիա
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
∨
b
{\displaystyle ~a\lor b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
մոդուլ 2-ով գումարում
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
⊕
b
{\displaystyle ~a\oplus b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
Իմպլիկացիա
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
→
b
{\displaystyle ~a\rightarrow b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
Համարժեքություն
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
↔
b
{\displaystyle ~a\leftrightarrow b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
Շեֆերի շտրիխ
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
∣
b
{\displaystyle ~a\mid b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
Փիրսի սլաք
a
{\displaystyle ~a}
b
{\displaystyle ~b}
a
↓
b
{\displaystyle ~a\downarrow b}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~0}
Ժխտում
a
{\displaystyle ~a}
¬
a
{\displaystyle \neg a}
0
{\displaystyle ~0}
1
{\displaystyle ~1}
1
{\displaystyle ~1}
0
{\displaystyle ~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
Յաբլոնսկի, Գավրիլով, Կուդրյավցև, Տրամաբնության հանրահաշվի գործողություններ և Պոստի դասեր, Մոսկվա, «Գիտություն»։ 
