Disjunction Rules: P(A or B)