let por t1 t2 = match t1,t2 with PTrue,_ | _,PTrue -> PTrue | PFalse,t | t,PFalse -> t | _,_ -> POr(t1,t2)