Տրամաբանական ֆունկցիա

Տրամաբանական ֆունկցիա, տրամաբանական արժեքներ ընդունող ֆունկցիա։ Սովորաբար դիտարկվում են «ճշտություն» (D կամ 1) և «սխալություն»(Ս կամ 0) արժեքներ ընդունող տրամաբանական ֆունկցիաներ (բազմարժեք տրամաբանությունում տրամաբանական ֆունկցիաները ընդունում են նաև այլ արժեքներ, օրինակ, «անորոշություն»)։

Բուլյան ֆունկցիա 
Եթե տրամաբանական ֆունկցիան ընդունում է D և Ս արժեքներ և կախված է փոփոխականներից, որոնք նույնպես ընդունում են D և Ս արժեքներ, ապա այն կոչվում է բուլյան ֆունկցիա (Ջորջ Բուլի անունով)։ Ասույթային տրամաբանական գործողությունները երկարժեք տրամաբանությունում մեկնաբանվում են որպես բուլյան տրամաբանական ֆունկցիաներ (օրինակ, А & В կոնյունկցիան կարելի է մեկնաբանել որպես բուլյան ֆունկցիա, որը ընդունում է 1 արժեքը, երբ A=l, B=l, և 0 արժեքը՝ մնացած դեպքերում)։ Կամայական տիպի առարկաների (ասենք, թվերի) համար սահմանված տրամաբանական ֆունկցիաները մեկնաբանվում են որպես այդ տիպի առարկաներին վերաբերող պրեդիկատներ։

Տես նաև 
Բուլյան հանրահաշիվ

Բուլյան հանրահաշիվ