diff options
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 11a8dd35..ab33ba62 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -356,7 +356,7 @@ Logic: Category == BasicType with ++ Author: Stephen M. Watt ++ Date Created: ++ Change History: -++ Basic Operations: true, false, not, and, or, xor, nand, nor, implies, ^ +++ Basic Operations: true, false, not, and, or, xor, nand, nor, implies ++ Related Constructors: ++ Keywords: boolean ++ Description: \spadtype{Boolean} is the elementary logic with 2 values: @@ -367,8 +367,6 @@ Boolean(): Join(OrderedSet, Finite, Logic, PropositionalLogic, ConvertibleTo Inp ++ true is a logical constant. false: % ++ false is a logical constant. - _^ : % -> % - ++ ^ n returns the negation of n. xor : (%, %) -> % ++ xor(a,b) returns the logical exclusive {\em or} ++ of Boolean \spad{a} and b. @@ -388,7 +386,6 @@ Boolean(): Join(OrderedSet, Finite, Logic, PropositionalLogic, ConvertibleTo Inp false == NIL$Lisp sample() == true not b == (b => false; true) - _^ b == (b => false; true) _~ b == (b => false; true) _and(a, b) == (a => b; false) _/_\(a, b) == (a => b; false) |