Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1989
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1989

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

Search the Archive

boolean simplication question

  • To: mathgroup at yoda.ncsa.uiuc.edu
  • Subject: boolean simplication question
  • From: kant at SLCS.SLB.COM
  • Date: Wed, 18 Oct 89 10:29:44 -0500

Does anyone have a Mathematica package that can simplify expressions
with And, Or, etc. so that And[A, !A] goes to False and so on?  

Second clarification message:

To clarify my previous message, we have written part of a simplification
package ourselves but there seem to be some strange problems.
Part of the problem with redefining or defining your own versions of And
and Or seems to be that if you add the attribute "Flat", definitions
like AND[X__, A_, Y___, !A_, X___] := False don't seem to work/match.  
If you make these definitions without the Flat attribute, they work ok.
I don't understand why that happens either.  Any suggestions?

Thanks.  -- Elaine
kant at SLCS.SLB.COM


  • Prev by Date: New Mathematica User
  • Next by Date: Hi, question on U.S. edu system
  • Previous by thread: New Mathematica User
  • Next by thread: boolean simplication question