MathGroup Archive: July 2009 [00101]

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

logical simplification problem

To: mathgroup at smc.vnet.net
Subject: [mg101442] logical simplification problem
From: olfa <olfa.mraihi at yahoo.fr>
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.

Follow-Ups:
- Re: logical simplification problem
  - From: Daniel Lichtblau <danl@wolfram.com>
- Re: logical simplification problem
  - From: Murray Eisenberg <murray@math.umass.edu>
- Re: logical simplification problem
  - From: Andrzej Kozlowski <akoz@mimuw.edu.pl>

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