Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!bloom-beacon.mit.edu!bloom-beacon.mit.edu!panix!not-for-mail
From: Grant Edwards <invalid@invalid.invalid>
Newsgroups: comp.lang.python
Subject: Re: Logic problem: need better logic for desired thruth table.
Date: Thu, 28 May 2015 23:03:53 +0000 (UTC)
Organization: PANIX Public Access Internet and UNIX, NYC
Lines: 51
Message-ID: <mk86sp$7bc$2@reader1.panix.com>
References: <3794b$55678d83$5419aafe$56138@news.ziggo.nl> <67de616e-5af7-417d-88a9-db1c665df473@googlegroups.com> <mailman.143.1432851416.5151.python-list@python.org> <mk86av$7bc$1@reader1.panix.com>
NNTP-Posting-Host: 67-130-15-94.dia.static.qwest.net
X-Trace: reader1.panix.com 1432854233 7532 67.130.15.94 (28 May 2015 23:03:53 GMT)
X-Complaints-To: abuse@panix.com
NNTP-Posting-Date: Thu, 28 May 2015 23:03:53 +0000 (UTC)
User-Agent: slrn/1.0.1 (Linux)
Xref: csiph.com comp.lang.python:91406

On 2015-05-28, Grant Edwards <invalid@invalid.invalid> wrote:
> On 2015-05-28, Michael Torrie <torriem@gmail.com> wrote:
>> On 05/28/2015 03:58 PM, sohcahtoa82@gmail.com wrote:
>>> I think the logic you're really looking for is:
>>> 
>>> return BotWaitForCooldown or (not (BotWaitForCooldown or CooldownDetected))
>>
>> Yes this is the simplest form.
>
> Not really.
>
>
> In old school notation, that's
>             ___
>         A + A+B      
>
> [...]

That derivation was excessively round-about.  Here is the same thing
in fewer steps:

Invert:
         _______
             ___
         A + A+B      
         
De Morgan:
         _  
         A * (A + B)

Distribute:
         _     _
         A*A + A*B

Drop the null term:
          _
          A*B

Invert (to cancel out the first step)
          ___
          _
          A*B

De Morgan:
            _
          A+B

-- 
Grant Edwards               grant.b.edwards        Yow! I'm reporting for duty
                                  at               as a modern person.  I want
                              gmail.com            to do the Latin Hustle now!