diff options
Diffstat (limited to 'LogicTest.icl')
| -rw-r--r-- | LogicTest.icl | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/LogicTest.icl b/LogicTest.icl index 7f6f214..abf3bd5 100644 --- a/LogicTest.icl +++ b/LogicTest.icl @@ -30,13 +30,7 @@ e17 = App2 (Atom 'p') Equiv (App2 (Atom 'q') Equiv (Atom 'r')) exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17] -//Start = map all_atom_options exprs_rand -//Start = toString (all_atom_options e4) -//Start = substitute ('q',True) e8 - -table = { exprs = exprs_rand ++ exprs_assoc, - options = all_atom_options e10 } - -//Start = join ", " (map toString [e17 : subexprs e17]) - +//Start = map toString exprs_rand +//Start = map toString exprs_assoc Start = toString (truthtable (App2 e9 And e7)) + |