Պայմանական դիզյունկցիա

Պայմանական դիզյունկցիա, մաթեմատիկական տրամաբանության մեջ տերնարային (3 օպերանդ ունեցող) տրամաբանական գործողություն։ Գաղափարը առաջ է քաշել Ալոնսո Չյորչը։ Պայմանական դիզյունկցիայի արդյունքը համարժեք է ավելի ընդհանրական՝ տերնարային պայմանական գործողության արդյունքին (if o1 then o2 else o3), որը այս կամ այն տեսքով օգտագործվում է ծրագրավորման լեզուների մեծ մասում որպես ալգորիթմների ճյուղավորման իրագործման միջոց։ p, q, and r օպերանդների համար, որոնք որոշում են դատողության իսկությունը,  պայմանական դիզյունկցիայի նշանակությունը որոշվում է հետևյալ բանաձևով.
 
Այլ կերպ ասած՝  գրառումը համարժեք է հետևյալ գրառմանը. «Եթե q, ապա p, կամ r», որը կարելի է վերափոխել որպես «p կամ r՝ կախված q է, թե q չէ»։ Այսպես, p, q և r-ի ցանկացած նշանակման դեպքում -ը հավասար է p, եթե q-ն ճշմարիտ է, և հավասար է r՝ հակառակ դեպքում։

Յուրաքանչյուր ճշմարիտ նշանակում բնորոշող հաստատունների հետ համադրման դեպքում պայմանական դիզյունկցիան հանդիսանում է դասական տրամաբանության ֆունկցիոնալ ամբողջը։ Նրան իսկության աղյուսակն ունի հետևյալ տեսքը.

Բացի պայմանական դիզյունկցիայից՝ գոյություն ունեն նաև այլ ֆունկցիոնալ ամբողջ տերնարային գործողություններ։

Ծանոթագրություններ

Տե՛ս նաև 

 Բուլյան հանրահաշիվ
 Տրամաբանական գործողություններ

Բուլյան հանրահաշիվ
Տրամաբանական գործողություններ