Services & ResourcesWolfram ForumsMathGroup Archive

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

Is it possible with Mathematica?

• To: mathgroup at smc.vnet.net
• Subject: [mg101416] Is it possible with Mathematica?
• From: olfa <olfa.mraihi at yahoo.fr>
• 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.

• Follow-Ups:
  • Re: Is it possible with Mathematica?
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>