|
|
|
|
|
|
by hulium
530 days ago
|
|
|
Technically, 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. |
|
|