P xr Q Xe not P or Q