I had to double-take since in Python a common alternative to trick ? treat : notreat is (trick and treat) or notreat
But I don't think this translates to overlapping circles very well. "trick implies treat" is only defined inside the trick circle, outside is undefined if treat is true or not.
I'm not going to draw a diagram, but here's the "truth table" for A implies B:
A, B, A -> B
N, N, undefined
N, Y, undefined
Y, N, false
Y, Y, true
Using running water seperate seeds from pumpkin guts. Soak them in salt water while you carve. Preheat and bake at 220C for 15-20 mins. Eat them whole.
XNOR (Exclusive NOR) is the opposite of XOR (Exclusive OR)
A way to remember XOR is "must have one or the other but not both" XNOR is the opposite so it's "must have both or none" so both inputs must be 1 or 0.
XNOR or XOR is very common in homes with staircases so that you can turn on and off the light in the staircase regardless of which floor you are on.
If you google staircase switches, you will be told that they mostly use XOR but according to the wiring diagrams they use XNOR.