(P implies Q) or (P implies R)