Дизъюнкция

Дизъю́нкция, логическая операция, служащая для образования высказываний «$A$ или $B$». В формализованных языках дизъюнкция высказываний $A$ и $B$ обозначается $A\lor B$.