Comment by thaumasiotes

> One thing? It does a logical and and then negates the result.

Sorry? Take a second to think about what you're saying.

In what conceivable sense is "doing a logical and" one thing while "doing a logical nand" isn't?

You can equally claim that

    x & y

is really just

    (x ↑ y) ↑ (x ↑ y)