What they call "logorc1 [...] or complement of integer1 with integer2" with truth table: > 1 1 0 1 I think of as (material) implication (the '→' operator, whe

What they call "logorc1 [...] or complement of integer1 with integer2" with truth table: > 1 1 0 1 I think of as (material) implication (the '→' operator, where you can read A → B as "A implies B" or "if A then B".) This is equivalent to "not (A and (not B))" (because it is only false when A is true and B is false) which in turn reduces to "B or (not A)" by deMorgan (iirc). This is a pretty standard part of propositional calculus, I seem to remember, and, like nand, implication is complete in the sense that all other operations can be constructed from it. I guess it may be better from a consistency POV to name it in terms of other operations, but I think the implication name would be more correct.