(P symmetric difference Q) union (P intersection Q) intersection (complement of P union R)