xyx positif
2 choix :
x est + alors y est +
x est - alors y est + quelque soit les conditions y sera toujours +
xyz du signe contraire de x
si x est + xyz doit être -
on a xy + donc z doit être -
on vérifie par rapport à la dernière proposition
xy est + et yz est - donc x ne peut être +
Si x est - donc xyz est +
xy est - donc z est -
on vérifie
xy est - et yz est - c'est OK
