Path: ...!weretis.net!feeder9.news.weretis.net!tncsrv06.tnetconsulting.net!tncsrv09.home.tnetconsulting.net!.POSTED.omega.home.tnetconsulting.net!not-for-mail
From: Grant Taylor <gtaylor@tnetconsulting.net>
Newsgroups: comp.unix.shell
Subject: Re: De Morgan's laws
Date: Tue, 31 Dec 2024 16:32:21 -0600
Organization: TNet Consulting
Message-ID: <vl1rdl$aco$1@tncsrv09.home.tnetconsulting.net>
References: <vkn1gl$28auc$1@news.xmission.com>
 <slrnvmub16.22so.naddy@lorvorc.mips.inka.de> <vknmc3$3v5eh$2@dont-email.me>
 <vkojcr$293ue$1@news.xmission.com> <86y0zzlnho.fsf@example.com>
 <vkpf1p$f02q$1@dont-email.me> <864j2kx471.fsf@example.com>
 <vl143c$2a0ea$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 31 Dec 2024 22:32:21 -0000 (UTC)
Injection-Info: tncsrv09.home.tnetconsulting.net; posting-host="omega.home.tnetconsulting.net:198.18.1.11";
	logging-data="10648"; mail-complaints-to="newsmaster@tnetconsulting.net"
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vl143c$2a0ea$1@dont-email.me>
Bytes: 1636
Lines: 12

On 12/31/24 09:54, Lew Pitcher wrote:
> I propose that the verb "DeMorgan" (as in "to DeMorgan an expression") 
> be used to represent the application of the normal form of "De 
> Morgan's theorem", and the verb "deDeMorgan" be used to represent 
> the application of the inverse of "DeMorgan".

I would suggest "un-DeMorgan" (hyphen optional) in order to avoid 
conflict between the two pairs of "de" (case insensitive).



-- 
Grant. . . .