Nicer truthtables

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))