P↔(Q or R)