MathGroup Archive 2009

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

Search the Archive

logical simplification problem

  • To: mathgroup at
  • Subject: [mg101442] logical simplification problem
  • From: olfa <olfa.mraihi at>
  • Date: Tue, 7 Jul 2009 07:47:37 -0400 (EDT)

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.

  • Prev by Date: Re: 3D plot with orthographic projection
  • Next by Date: Re: Jens-Peer Kuska passed away
  • Previous by thread: Re: put some elements to zero
  • Next by thread: Re: logical simplification problem