MathGroup Archive 2009

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

Search the Archive

Re: logical simplification problem

  • To: mathgroup at
  • Subject: [mg101490] Re: [mg101442] logical simplification problem
  • From: Andrzej Kozlowski <akoz at>
  • Date: Wed, 8 Jul 2009 07:13:49 -0400 (EDT)
  • References: <>

On 7 Jul 2009, at 20:47, olfa wrote:

> Hi mathematica community,
> if it does not exist as predefined function in mathematica, how to
> define a rule that illustrate this logical property: if p implies q
> then p || q is simplified into q and p&&q is simplified into p?
> Thank you for your help.

Part 1.

Simplify[Equivalent[(p || q) && Implies[p, q], q]]

Part 2.

Simplify[Implies[p && Implies[p, q], p && q]]

Andrzej Kozlowski

  • Prev by Date: Re: Jens-Peer Kuska passed away
  • Next by Date: Re: put some elements to zero
  • Previous by thread: logical simplification problem
  • Next by thread: Re: logical simplification problem