./6 : ben, 1=0 dans une algèbre de bool, donc si tu fais une translation de ton algèbre, tu obtiens 1=2, je vois pas le problème, ça se démontre très bien (en prépa, j'ai plus la démo en tête, c'trop vieux pour moi)