Re: Wish list from a new user of The Bat

[Januk Aggarwal]

Hello,


Friday, January 07, 2000, 4:55:46 PM, I wrote:

> What you have suggested ends up with the same truth table as the one
> I've suggested, however, I don't know if that's how the Bat operates.

Just in case anyone needs a slightly more rigorous proof, there is a
theorem which states:

Not( A | B | C | D ) = Not(A) AND Not(B) AND Not(C) AND Not(D)

Of course this can be reversed

Not( A AND B AND C AND D ) = Not(A) | Not(B) | Not(C) | Not(D)


(By the way, in writing this message, capital C on its own triggers
the spell checker.  Anyone know why?)

-- 
Thanks for writing
 Januk
 [EMAIL PROTECTED]

 Using The Bat! 1.38e
 under Windows 98 4.10 Build 2222  A 

-- 
--------------------------------------------------------------
View the TBUDL archive at http://tbudl.thebat.dutaint.com
To send a message to the list moderation team double click here:
   <mailto:[EMAIL PROTECTED]>
To Unsubscribe from TBUDL, double click here and send the message:
   <mailto:[EMAIL PROTECTED]>
--------------------------------------------------------------