Deutsch English Français Italiano |
<vkpf1p$f02q$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com> Newsgroups: comp.unix.shell Subject: Re: De Morgan's laws Date: Sat, 28 Dec 2024 19:12:08 +0100 Organization: A noiseless patient Spider Lines: 45 Message-ID: <vkpf1p$f02q$1@dont-email.me> 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> MIME-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Injection-Date: Sat, 28 Dec 2024 19:12:10 +0100 (CET) Injection-Info: dont-email.me; posting-host="e2d2614da03247a1749c0f02c277a58d"; logging-data="491610"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/dN8wuXd4dEzDb2qDE6eZd" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 Cancel-Lock: sha1:dm98I0S6F0XZ9eX+ggnndNP5k+c= In-Reply-To: <86y0zzlnho.fsf@example.com> On 28.12.2024 18:35, Salvador Mirzo wrote: > 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. I've ever always seen both directions as transformations according to the laws of De Morgan (so neither would be en-morgan or de-morgan, sort of). In context of 'find' the '-and' form might be considered simpler due to 'find's inherent 'and'-logic. Janis