Is there a logic symbol for what output a logic gate yields?
For instance, for an AND gate:
|A||B||A ^ B|
I want to propagate A ^ B into output C, but I wouldn't want to use
A ^ B → C because implication has a different truth table. Is
A ^ B = C really the best option?