MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

Is it possible with Mathematica?

  • To: mathgroup at
  • Subject: [mg101416] Is it possible with Mathematica?
  • From: olfa <olfa.mraihi at>
  • Date: Sun, 5 Jul 2009 23:17:20 -0400 (EDT)

Hi mathematica community,
when a=>b then a&&b=a and a||b=b
Based on  this information
1)I need to know how to use mathematica in order to simplify this
logical expression
 (z == zP && x*y == xP*yP) || (z + x*y == zP + xP*yP) into
z + x*y == zP + xP*yP?

this means that mathematica should detect the implication between the
two expressions and should do the appropriate simplification.

2)Does anyone know of an existing functions or packages that can do
this logical simplification?

3) Is there a mechanism in mathematica that is able to recognize
automatically the implication between two expressions?

4)If this kind of simplifications is not possible with mathematica, is
there a tool that I can use to do logical simplifications?

thanks a lot.

  • Prev by Date: Re: Re: Union slowdown when SameTest is
  • Next by Date: including specific values in parametric plots
  • Previous by thread: Re: Re: Separating real part and imaginary part from
  • Next by thread: Re: Is it possible with Mathematica?