OR

Subtype of Boolean Operation

Applies only in a context where there are at least two input boolean variables.
It then specifies the transformation of the input boolean variables to one single output boolean variable that represents their logical inclusive disjunction.
Formally:
(x , y) → x || y
In words:
It produces an output of TRUE if at least one of the input variables is TRUE
It produces an output of FALSE in all other cases.