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

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

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

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

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

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

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