Re: Zen: Dees - Redundant

Joe E. Dees (joedees@bellsouth.net)
Mon, 20 Sep 1999 22:11:58 -0500

Date sent:      	Mon, 20 Sep 1999 21:34:42 -0400
From:           	Robert Owen <rowen@technologist.com>
Subject:        	Re: Zen: Dees - Redundant
To:             	extropians@extropy.com
Send reply to:  	extropians@extropy.com

> Joe E Dees wrote:
>
> > Neither this, nor that, nor [neither this nor that], nor [both this and
> > that].
>
> Not required. The Boolean transform of nor [both this and that] which
> is equivalent to not[this and that] is [not-this or not-that]. But this
> is the inclusive OR, so it includes as a true case [not-this AND not-that].
> But this readily transforms into not[this OR that] or neither this nor that,
> which was explicitly stated.
>
Not both/and is not equivalent to not neither/nor, any more than both/and is equivalent to neither/nor. The application of the same logical operation (in this case negation) to two nonequivalent terms results in the creation of two more nonequivalent terms. Q.E.D.

>
> =======================
> Robert M. Owen
> Director
> The Orion Institute
> 57 W. Morgan Street
> Brevard, NC 28712-3659 USA
> =======================
>
>
>