Or(left: Formula, right: Formula)
Logical disjunction. A state satisfies this formula if it satisfies any of the left and right formulas.