45 ms·
> What is this central dot? Yeah, I wish he had started by defining that. The is hard to understand without it. Search for "Is There a Better Notation?" in th
by ur-whale 2y ago
> What is this central dot?
Yeah, I wish he had started by defining that. The is hard to understand without it.
Search for "Is There a Better Notation?" in the article, it seems "." is NAND
- hulium 2y agoTechnically, his axiom is the definition for what the operator is. Any set together with an operator "•" that satisfies this law is a boolean algebra. Binary logic where •=NAND is one such example because it satisfies the axiom.
- NooneAtAll3 2y agoit's simply "Generic Operator". The only requirements is to follow axioms for all its input values. NAND isn't THE operator, it is AN operator that can be in that place. If there's only 1 value that variables can be - "I", then "I \dot I = I" would be a valid operator that follows given axioms