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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search

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

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

Իսկության աղյուսակները հիմնական երկնիշ տրամաբանական ֆունկցիաների համար[խմբագրել | խմբագրել կոդը]

Կոնյունկցիա
Դիզյունկցիա
մոդուլ 2-ով գումարում
Իմպլիկացիա
Համարժեքություն
Շեֆերի շտրիխ
Փիրսի սլաք
Ժխտում

Իսկության աղյուսակներ որոշ եռանիշ տրամաբանական գործողությունների համար[խմբագրել | խմբագրել կոդը]

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

Տե՛ս նաև[խմբագրել | խմբագրել կոդը]

Գրականություն[խմբագրել | խմբագրել կոդը]

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

Արտաքին հղումներ[խմբագրել | խմբագրել կոդը]