Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: Is it possible with Mathematica?

• To: mathgroup at smc.vnet.net
• Subject: [mg101430] Re: [mg101416] Is it possible with Mathematica?
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Tue, 7 Jul 2009 05:06:02 -0400 (EDT)
• References: <200907060317.XAA28549@smc.vnet.net>

On 6 Jul 2009, at 12:17, olfa wrote:

> 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.
>


If you are willing to use the assumption that  all your expressions  
are real, then

Reduce[(z == zP && x*y == xP*yP) || z + x*y == zP + xP*yP, Reals]
  z == -(x*y) + xP*yP + zP


Andrzej Kozlowski

• References:
  • Is it possible with Mathematica?
    • From: olfa <olfa.mraihi@yahoo.fr>