diff options
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 836e57dd..b38ef042 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -523,8 +523,8 @@ KleeneTrivalentLogic(): Public == Private where ++ s case true holds if the value of `x' is `true'. Private == add Rep == Byte -- We need only 3 bits, in fact. - false == per(0::NonNegativeInteger::Byte) - unknown == per(1::NonNegativeInteger::Byte) + false == per(0::Byte) + unknown == per(1::Byte) true == per(2::Byte) x = y == rep x = rep y x case true == x = true |