Date sent: Mon, 20 Sep 1999 21:34:42 -0400 From: Robert Owen <firstname.lastname@example.org> Subject: Re: Zen: Dees - Redundant To: email@example.com Send reply to: firstname.lastname@example.org
> 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
> The Orion Institute
> 57 W. Morgan Street
> Brevard, NC 28712-3659 USA