Path: ...!weretis.net!feeder9.news.weretis.net!xmission!nnrp.xmission!.POSTED.shell.xmission.com!not-for-mail
From: gazelle@shell.xmission.com (Kenny McCormack)
Newsgroups: comp.unix.shell
Subject: De Morgan's laws (Was: syntax of "find" - am I losing my mind?)
Date: Sat, 28 Dec 2024 10:20:11 -0000 (UTC)
Organization: The official candy of the new Millennium
Message-ID: <vkojcr$293ue$1@news.xmission.com>
References: <vkn1gl$28auc$1@news.xmission.com> <slrnvmub16.22so.naddy@lorvorc.mips.inka.de> <vknmc3$3v5eh$2@dont-email.me>
Injection-Date: Sat, 28 Dec 2024 10:20:11 -0000 (UTC)
Injection-Info: news.xmission.com; posting-host="shell.xmission.com:166.70.8.4";
	logging-data="2396110"; mail-complaints-to="abuse@xmission.com"
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: gazelle@shell.xmission.com (Kenny McCormack)
Bytes: 1701
Lines: 30

In article <vknmc3$3v5eh$2@dont-email.me>,
Lawrence D'Oliveiro  <ldo@nz.invalid> wrote:
>On Fri, 27 Dec 2024 22:37:26 -0000 (UTC), Christian Weisgerber wrote:
>
>> You can also de-morgan the expression
>
>First time I heard a reference to De Morgans theorems being used as a 
>verb. ;)
>
>Does make it sound like you are removing something called morgan though, 
>doesnt it ...

I think the word we're looking for here is: un-de-morgan.

That is, to translate the verbose but more understandable:

	!foo and !bar

into:

	! (foo or bar)

via application of De Morgan's law(s) would be to de-morgan it.

CW was suggesting the reverse operation.

-- 
People sleep peaceably in their beds at night only because rough
men stand ready to do violence on their behalf.

    George Orwell