Дизъю́нкция — логическая операция, эквивалент союза «или». Латинское disjunctio означает «разобщение». Дизъюнкция применяется в логике, математике; формализует основные логические свойства союза «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть бинарной операцией (иметь два операнда), тернарной операцией (иметь три операнда) или n-арной операцией (иметь n операндов). Запись может быть префиксной — знак операции стоит перед операндами (польская запись), инфиксной — знак операции стоит между операндами или постфиксной — знак операции стоит после операндов. При числе операндов более двух префиксная и постфиксная записи имеют преимущество в краткости.