Simplification problem

*To*: mathgroup at smc.vnet.net*Subject*: [mg104755] Simplification problem*From*: olfa <olfa.mraihi at yahoo.fr>*Date*: Sun, 8 Nov 2009 06:51:19 -0500 (EST)

Hello mathematica community Having this system of equations: (z1==z2 && x*t==x1*t1)||(z1+x1*t1==z2+x2*t2) why a function like fullsimplify or booleanminimize doesn't simplify it into z1+x1*t1==z2+x2*t2? same question for (y1==y2 && t1== t2)||(t1/2^y1==t2/2^y2) why it is not simplified into t1/2^y1==t2/2^y2. is there another function that I can use? thank you.

**Follow-Ups**:**Re: Simplification problem***From:*Andrzej Kozlowski <akoz@mimuw.edu.pl>