De Morgan's laws (Was: syntax of "find" - am I losing my mind?)

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