diff options
| author | Camil Staps | 2015-07-03 12:43:24 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 12:43:24 +0200 |
| commit | 537bb5e2bae76e0df0d9e07a40dbe6b299be6aad (patch) | |
| tree | 4be9d96a5d0733a26ee5d76c6bedd63b10f4ea5e /LogicTest.icl | |
| parent | Fix associativity (diff) | |
Truth tables
Diffstat (limited to 'LogicTest.icl')
| -rw-r--r-- | LogicTest.icl | 9 |
1 files changed, 8 insertions, 1 deletions
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 |