diff options
Diffstat (limited to 'LogicTest.icl')
| -rw-r--r-- | LogicTest.icl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/LogicTest.icl b/LogicTest.icl index 4122b92..7f6f214 100644 --- a/LogicTest.icl +++ b/LogicTest.icl @@ -1,6 +1,6 @@ module LogicTest -import Logic +import Logic, StringUtils // Some random examples e1 = Atom 'p' @@ -35,6 +35,8 @@ exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17] //Start = substitute ('q',True) e8 table = { exprs = exprs_rand ++ exprs_assoc, - options = all_atom_options e4 } + options = all_atom_options e10 } -Start = toString table +//Start = join ", " (map toString [e17 : subexprs e17]) + +Start = toString (truthtable (App2 e9 And e7)) |