[prev in list] [next in list] [prev in thread] [next in thread] 

List:       spamassassin-users
Subject:    Re: OR NOT Logic
From:       Dan <a () patnode ! net>
Date:       2006-05-04 0:48:16
Message-ID: 7D648235-4A3C-44EB-A94B-CFC54C05235A () patnode ! net
[Download RAW message or body]

Thank you Mouss and to everyone for answering my logic question.  I  
now understand this better than I ever thought possible.

Dan


On May 3, 2006, at 15:14, mouss wrote:

> Dan wrote:
>>
>> Is:
>>
>> A && (B || C || D || E || F)
>>
>> equivalent to?:
>>
>> A && (!B && !C && !D && !E && !F)
>>
> No.  The DeMorgan laws are:
>    ! ( A && B)    =  !A  || !B
>    !(A || B)         == !A && !B
> so you _dispatch_ the '!' and replace || with && and conversely.
>
> example:
>
>    if it is _not_ spam _and_ it is not virus, deliver it; else  
> quarantine it
> is the same as
>    if it is _either_ spam _or_ virus, quarantine it. else deliver it
>
>
>

[prev in list] [next in list] [prev in thread] [next in thread]