diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
| commit | 89674096006b286c3c20e0969c493e7f42b56365 (patch) | |
| tree | fe8fe5485d0fed3e41943833f387f1dccd57148a /src/interp/simpbool.boot | |
| parent | 2a44af7ae10c039f26cea6767df41d73a3d795a0 (diff) | |
| download | open-axiom-89674096006b286c3c20e0969c493e7f42b56365.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/simpbool.boot')
| -rw-r--r-- | src/interp/simpbool.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot index 9c088079..c14c8d5e 100644 --- a/src/interp/simpbool.boot +++ b/src/interp/simpbool.boot @@ -38,7 +38,7 @@ simpBool x == dnf2pf reduceDnf be x reduceDnf u == -- (OR (AND ..b..) b) ==> (OR b ) - atom u => u + u isnt [.,:.] => u for x in u repeat ok := true for y in u repeat @@ -78,14 +78,14 @@ andReduce(x,y) == dnf2pf(x) == x = 'true => 'T x = 'false => nil - atom x => x + x isnt [.,:.] => x mkpf( [mkpf([:[k for k in b],:[['not,k] for k in a]],'AND) for [a,b] in x],'OR) be x == b2dnf x b2dnf x == x = 'T => 'true x = nil => 'false - atom x => bassert x + x isnt [.,:.] => bassert x [op,:argl] := x op in '(AND and) => band argl op in '(OR or) => bor argl |