diff options
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 |