diff options
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 07e5df47..75b5b325 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -383,11 +383,11 @@ Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputFor true == 'T pretend % false == NIL$Lisp sample() == true - not b == (b => false; true) + not b == NOT(b)$Lisp _~ b == (b => false; true) - _and(a, b) == (a => b; false) + _and(a, b) == AND(a,b)$Lisp _/_\(a, b) == (a => b; false) - _or(a, b) == (a => true; b) + _or(a, b) == OR(a,b)$Lisp _\_/(a, b) == (a => true; b) xor(a, b) == (a => nt b; b) nor(a, b) == (a => false; nt b) |