That would be the symbol\operation called TRUE or TOP or "tautology" which is always true. They're actually missing quite a few of the weirder ops, including implication and ~~biconditional\iff\if-and-only-if~~. (Edit: Actually I think XNOR is also the biconditional. I guess pretend like I said "material implication" and "reverse implication". Fricken booleans man!)

[–] NeatNit@discuss.tchncs.de 7 points 2 months ago (12 children)

I never got why "implies" is called that. How does the phrase "A implies B" relate to the output's truth table?

I have my own "head canon" to remember it but I'll share it later, want to hear someone else's first.

[–] Excel@beehaw.org 4 points 2 months ago* (last edited 2 months ago)

“A implies B” means if A is true then B must be true; if A is false, then B can be anything. In other words, the only state not allowed is A being true and B being false. Therefore, the only “hole” is the part of A that doesn’t include B.

load more comments (11 replies)

load more comments (15 replies)