let pxor = function | Ptrue, Ptrue -> Pfalse | Ptrue,_ | _,Ptrue -> Ptrue | Pfalse, p | p, Pfalse -> p | p,p' -> Pxor(p,p')