Re: De Morgan's laws

gazelle@shell.xmission.com (Kenny McCormack) writes:

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.

I'd suggest that to write

  !(foo or bar)

is /to de-morgan/ the expression ``!foo and !bar'', while to rewrite
back as !(foo or bar) is /to morgan/ the expression.