simplifier expression

[Bisam]

Non, ça n'a rien à voir.
Elle essaie de savoir si l'expression "2x-4y+6z-8=0" est TOUJOURS vraie... et pour cela, elle essaie de la simplifier dans l'espoir de pouvoir répondre. Comme elle n'arrive pas à répondre de manière définitive, elle répond uniquement que "2x-4y+6z-8=0" est vraie si et seulement si "x-2y+3z-4=0" est vraie.
Le "and true" n'est là que pour forcer la calculette à chercher à savoir si l'expression est vraie ou fausse... mais il ne change rien à la valeur finale. On aurait aussi pu écrire "or false".

[kadtexas]

Merci Bisam pour l'explication