let rec retirerVrai prop =
  	match prop with
  	| Ou(p1,p2) ->  if p1 = Non(p2) || p2 = Non(p1) then Vrai
					else if p1 = p2 then (retirerVrai p1)
  				    else if  (retirerVrai p1) = Vrai && (retirerVrai p2) = Vrai then Vrai
  					else if (retirerVrai p1) = Vrai  then retirerVrai p2
  					else if (retirerVrai p2) = Vrai  then retirerVrai p1
  					else Ou((retirerVrai p1),(retirerVrai p2))
  	| Et(p1,p2) -> if (retirerVrai p1) = Vrai && (retirerVrai p2) = Vrai then Vrai
  					else if p1 = p2 then (retirerVrai p1)
					else if (retirerVrai p1) = Vrai then (retirerVrai p2)
  					else if (retirerVrai p2) = Vrai then (retirerVrai p1)
  					else Et((retirerVrai p1),(retirerVrai p2))
  	| e -> e