P && (Q or R)