P implies (Q or R)