Re: De Morgan's laws

Grant Taylor <gtaylor@tnetconsulting.net> writes:

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).

Well said---the world has enough conflicts; not to mention all the IRQ
conflicts I went through when running Windows 3.11 back in 19... I
forget.