Improved parser

1 files changed, 1 insertions, 0 deletions

diff --git a/Logic.dcl b/Logic.dcl
index 7e50822..1a0821b 100644
--- a/Logic.dcl
+++ b/Logic.dcl
@@ -85,6 +85,7 @@ subexprs :: Expr -> [Expr]                  // Subexpressions of an expression
 sorted_subexprs :: (Expr -> [Expr])         // Similar, but roughly sorted by complexity
 
 simple_truthtable :: Expr -> TruthTable     // Simple truthtable: only the atomic expression and the expression itself
+simple_truthtable_n :: [Expr] -> TruthTable // Simple truthtable with multiple expressions
 truthtable :: Expr -> TruthTable            // Truthtable from an expression
 
 parse :: String -> Expr                     // Parse a string into an expression