matt grime

Look at the (expletive deleted) truth table. That is how OR and DISJUNCTION are defined (they are after all just different names for the same thing).