Re: The Truth of Truly True Truth
- From: "Jesse F. Hughes" <jesse@xxxxxxxxxxxxx>
- Date: Mon, 21 May 2007 13:27:44 -0400
Lester Zick <dontbother@xxxxxxxxxxx> writes:
In his quest for truth the other day the confirmed empiric Uncle Al,
rather impolitely I thought, posed the following problem:
Hey Zick, perserverative boring spammer, tell us about algebras
defined by
not(not(p or q) or not(p or not(q)) = p
An expression which obviously reduces to
(p or not q) or (not p or q) = p
Fascinating!
--
Jesse F. Hughes
"I'm better than you, and you know it."
-- James Harris
.
- Prev by Date: Re: I am really getting tired of people stepping all over my conversations
- Next by Date: Re: I am really getting tired of people stepping all over my conversations
- Previous by thread: Re: Can We Quantify over Everything?
- Next by thread: Call For Participation: WORLDCOMP'07: joint conferences in CS, CE, and applied computing, June 25-28, 2007, Las Vegas
- Index(es):
Relevant Pages
|
|
