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

List:       spamassassin-users
Subject:    Re: OR NOT Logic
From:       List Mail User <track () Plectere ! com>
Date:       2006-05-03 0:33:50
Message-ID: 200605030033.k430XoF8003406 () Plectere ! com
[Download RAW message or body]

>...
>I believe that's a fundamental logic rule, so yes.
>
>A && B == ~A || ~B
>
>--Russell

	Almost:

-- Not to confuse things with C's short ciruit operations

                      |
                      v
( A and B ) equals ( not ( ( not A ) or ( not B ) ) )
                      ^
                      |

	Also known as one case of the "contrapositive".

	Paul Shupak
	track@plectere.com
[prev in list] [next in list] [prev in thread] [next in thread]