Definitely a repost, but it fits the season
XNOR is so ambiguously named.
Every time, I’m like: The inverse of XOR? Or the inverse of NOR? Oh, right, NOR is already the inverse of OR, so X-NOR is just OR, so XNOR must be the inverse of XOR.
Can I have everything? Inside and outside the Venn circles!
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!)
This cheat sheet needs a cheat sheet. What do the numbers with 3 numbers mean?
I truly have no idea and wish I did, haha. It looks like a shorthand for which operation is being followed, maybe like a group theory thing, but I really don’t know.
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.
“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.
“A → B” is true in any variable assignment where B is true if A is true.
It has always been mostly obvious to me.
Honestly, this meme just legit helped me understand some of the tools in my CAD software.
Gonna save this A very good visual representation
There’s another one possible: Trick NOT Treat.
NOT Trick AND Treat
how would that be different than Trick NAND treat?
There’s another 10 possible, but if retaining symmetry and excluding the trivial T/F cases, these 6 are the ones to show I guess.





