OpenEuphoria

RE: Q: function to simplify a boolean expression

• Posted by bensler at mail.com Jan 17, 2002
• 502 views

Someone once told me, "if you never ask the question, you'll never get 
the answer" ;P

I was missing something :)

Chris

jzeitlin at cyburban.com wrote:
> On Thu, 17 Jan 2002 03:46:55 -0800, bensler at mail.com wrote:
> 
> >Am I missing something?
> >Euphoria will reduce any expression you give it:
> >print(1, (1 > 2) )
> >print(1, (1 < 2) )
> 
> No.  This is 'evaluating', not 'simplifying'.  'Simplifying' is reducing
> the expression to its simplest form, regardless of the actual truth 
> values
> of the various variables.  Jerry's example later in this digest was 
> _very_
> complex, but illustrated what he's after very well.
> 
> I suggest that you read up on boolean logic and the propositional 
> calculus.
> Surprisingly, a fairly accessible explanation of both is included in
> Douglas Hofstadter's book 
> _Gödel,_Escher,_Bach:_An_Eternal_Golden_Braid_.
> 
> >jstory at freenet.edmonton.ab.ca wrote:
> >> Question:
> >> Where can I find, or how can I make, a function that takes a
> >> boolean expression and returns it simplified as much as it can be
> >> simplified?
> 
> >>        Jerry Story
> 
> --
> Jeff Zeitlin
> jzeitlin at cyburban.com
> 
>