Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: logical simplification problem

• To: mathgroup at smc.vnet.net
• Subject: [mg101454] Re: [mg101442] logical simplification problem
• From: Murray Eisenberg <murray at math.umass.edu>
• Date: Wed, 8 Jul 2009 07:07:10 -0400 (EDT)
• Organization: Mathematics & Statistics, Univ. of Mass./Amherst
• References: <200907071147.HAA27538@smc.vnet.net>
• Reply-to: murray at math.umass.edu

You might use BooleanConvert:

   BooleanConvert[p=>q]
!p||q


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

-- 
Murray Eisenberg                     murray at math.umass.edu
Mathematics & Statistics Dept.
Lederle Graduate Research Tower      phone 413 549-1020 (H)
University of Massachusetts                413 545-2859 (W)
710 North Pleasant Street            fax   413 545-1801
Amherst, MA 01003-9305

• References:
  • logical simplification problem
    • From: olfa <olfa.mraihi@yahoo.fr>