diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-04 17:20:33 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-04 17:20:33 +0000 |
| commit | ae3725b1b6208264518fbcd4d7adadd68978d26f (patch) | |
| tree | 5d54b04001178fdfbf0eaa4a5031658e092d2aa2 /src/algebra/aggcat.spad.pamphlet | |
| parent | da7d92d632deab11bb2c93a9b51dc4972707003d (diff) | |
| download | open-axiom-ae3725b1b6208264518fbcd4d7adadd68978d26f.tar.gz | |
* algebra/boolean.spad.pamphlet (BooleanLogic): New.
(PropositionalLogic): Extend it.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Assert membership to
BooleanLogic.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 6e448706..8b01b3c8 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -2681,22 +2681,13 @@ import OneDimensionalArrayAggregate Boolean ++ The bit aggregate category models aggregates representing large ++ quantities of Boolean data. BitAggregate(): Category == - Join(OrderedSet, Logic, OneDimensionalArrayAggregate Boolean) with - not: % -> % - ++ not(b) returns the logical {\em not} of bit aggregate - ++ \axiom{b}. + Join(OrderedSet, BooleanLogic, Logic, OneDimensionalArrayAggregate Boolean) with nand : (%, %) -> % ++ nand(a,b) returns the logical {\em nand} of bit aggregates \axiom{a} ++ and \axiom{b}. nor : (%, %) -> % ++ nor(a,b) returns the logical {\em nor} of bit aggregates \axiom{a} and ++ \axiom{b}. - and : (%, %) -> % - ++ a and b returns the logical {\em and} of bit aggregates \axiom{a} and - ++ \axiom{b}. - or : (%, %) -> % - ++ a or b returns the logical {\em or} of bit aggregates \axiom{a} and - ++ \axiom{b}. xor : (%, %) -> % ++ xor(a,b) returns the logical {\em exclusive-or} of bit aggregates ++ \axiom{a} and \axiom{b}. |