1. Q: function to simplify a boolean expression
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
2. 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
3. Re: Q: function to simplify a boolean expression
<snip>
>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_.
<snip>
Last year I tried to order this book from Blackwells and then Waterstones
(I'm in the UK) but was told by both it was out of print. If anyone knows
of an alternative way to get hold of a copy (new or secondhand) I'd be very
grateful of any leads.
Best regards,
FP.
4. Re: Q: function to simplify a boolean expression
Hi,
You should try book auctions. I found a brand new "Petzold's Programming
Windows95" for $7.99! I had to spent a lot more to ship it to Brazil
-- Euler
On 18 Jan 2002, at 13:01, freeplay at mailandnews.com wrote:
>
> <snip>
> >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_.
> <snip>
>
> Last year I tried to order this book from Blackwells and then Waterstones
> (I'm in the UK) but was told by both it was out of print. If anyone knows
> of an alternative way to get hold of a copy (new or secondhand) I'd be very
> grateful of any leads.
>
> Best regards,
>
> FP.
>
>
>
>
-- Euler GERMAN
Caixa Postal 232
35701-970 Sete Lagoas, MG
BRAZIL
+55-31-3773-3387
+55-31-3776-2924
+55-31-9945-7881 (cell phone)
+1-309-419-0638 (fax/voice mail)
PGP Key ID: 0x9F8267FE
Distribua seu software numa embalagem para presente! Veja como em
<http://www.DeployMaster.com.br>
As instalações geradas com o DeployMaster podem ser apresentadas em qualquer
idioma. Já estão disponíveis diversos módulos de linguagem em nosso site e você
é livre para criar o seu!
Compre DeployMaster e pague em REAIS (R$)! Informe-se em <vendas at
DeployMaster.com.br>. DeployMaster: porque uma boa apresentação é fundamental!
5. Re: Q: function to simplify a boolean expression
Godel, Escher, Bach: An Eternal Golden Braid
http://www.half.com had 10 copies for less than $10US
P.S. Sorry about the previous MIME SNAFU
6. Re: Q: function to simplify a boolean expression
Jerry,
Check out this link:
http://www.bit.umkc.edu/vu/course/cs281/lectures/simplification/quine-McClus
key.html
The Quine-McCluskey method is guaranteed to work, but the computation time
grows exponentially with the number of variables (propably true of any other
sure-fire method).
-- Mike Nelson
7. Re: Q: function to simplify a boolean expression
- Posted by encephalon1 at msn.com
Jan 18, 2002
------=_NextPart_001_0000_01C1A075.BBFEA490
out of print? that can't be. it's too damn good of a book.
----- Original Message -----
From: freeplay at mailandnews.com
Subject: Re: Q: function to simplify a boolean expression
<snip>
>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_.
<snip>
Last year I tried to order this book from Blackwells and then Waterstones
(I'm in the UK) but was told by both it was out of print. If anyone knows
of an alternative way to get hold of a copy (new or secondhand) I'd be very
grateful of any leads.
Best regards,
FP.
------=_NextPart_001_0000_01C1A075.BBFEA490
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
<HTML><BODY STYLE="font:10pt verdana; border:none;"><DIV>out of print? that
can't be. it's too damn good of a
book.</DIV> <DIV> </DIV> <BLOCKQUOTE style="PADDING-RIGHT: 0px;
PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT:
#000000 2px solid; MARGIN-RIGHT: 0px"> <DIV style="FONT: 10pt Arial">-----
Original Message -----</DIV> <DIV
style="BACKGROUND: #e4e4e4; FONT: 10pt Arial; COLOR: black"><B>From:</B>
freeplay at mailandnews.com</DIV> <DIV style="FONT:
10pt Arial"><B>Sent:</B> Friday, January 18, 2002 8:26 AM</DIV> <DIV
style="FONT: 10pt Arial"><B>To:</B> EUforum</DIV> <DIV
style="FONT: 10pt Arial"><B>Subject:</B> Re: Q: function to simplify a boolean
expression</DIV> <DIV> </DIV>============
The Euphoria Mailing List ============ <BR><BR><snip><BR>>I suggest
that you read up on boolean logic and the
propositional calculus.<BR>>Surprisingly, a fairly accessible explanation of
both is included in<BR>>Douglas
Hofstadter's book _Gödel,_Escher,_Bach:!
_An_Eternal_Golden_Braid_.<BR><
snip><BR><BR>Last year I tried to order this book from Blackwells and then
Waterstones<BR>(I'm in the UK) but was told
by both it was out of print. If anyone knows<BR>of an alternative way to
get hold of a copy (new or secondhand) I'd be
very<BR>grateful of any leads.<BR><BR>Best
regards,<BR><BR>FP.<BR><BR>==^================================================================<BR>This
email was sent to:
encephalon1 at msn.com<BR><BR>EASY UNSUBSCRIBE click here:
http://topica.com/u/?b1dd66.b2PHWj<BR>Or send an email to:
EUforum-unsubscribe at topica.com<BR><BR>T O P I C A -- Register now to manage
your
mail!<BR>http://www.topica.com/partner/tag02/register<BR>==^================================================================<
href='http://explorer.msn.com'>http://explorer.msn.com</a><br></p>
------=_NextPart_001_0000_01C1A075.BBFEA490--
