Re: Q: function to simplify a boolean expression
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
|
Not Categorized, Please Help
|
|
