Or[x->BOOLEAN, y->BOOLEAN] =: BOOLEAN
Or returns the disjunction of x and y, according to the truth table:
x || y, x OR y
And. Not.