in reply to Re^4: A "but" operator.
in thread A "but" operator.

You forgot a couple ...
P and not Q!(P -> Q)
FF
TT
FF
FF

Hence, the relation holds.

Being right, does not endow the right to be rude; politeness costs nothing.
Being unknowing, is not the same as being stupid.
Expressing a contrary opinion, whether to the individual or the group, is more often a sign of deeper thought than of cantankerous belligerence.
Do not mistake your goals as the only goals; your opinion as the only opinion; your confidence as correctness. Saying you know better is not the same as explaining you know better.

I shouldn't have to say this, but any code, unless otherwise stated, is untested

Replies are listed 'Best First'.
Re^6: A "but" operator.
by Plankton (Vicar) on Sep 27, 2004 at 22:44 UTC
    Ahh! I see. I don't know why I was thinking you meant nand !(P and Q). I misunderstood your notation I guess.

    The student's teacher would say ...

    1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 but 1 * 1 != 2

    ... which could be written as ...

    1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and not (1 * 1 = 2)

    I get it now.

    Plankton: 1% Evil, 99% Hot Gas.