From 537bb5e2bae76e0df0d9e07a40dbe6b299be6aad Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 12:43:24 +0200
Subject: Truth tables

---
 LogicTest.icl | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'LogicTest.icl')

diff --git a/LogicTest.icl b/LogicTest.icl
index 69adc8a..4122b92 100644
--- a/LogicTest.icl
+++ b/LogicTest.icl
@@ -30,4 +30,11 @@ e17 = App2 (Atom 'p') Equiv (App2 (Atom 'q') Equiv (Atom 'r'))
 
 exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17]
 
-Start = map toString exprs_assoc
+//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 e4 }
+
+Start = toString table
-- 
cgit v1.2.3