logical disjunction

logical connective OR