tests: re-add truth-table tests that was deleted mistankely

Author: ryukinix

lisp-inference.asd

@@ -50,6 +50,7 @@
                (:file "test-equivalence-rules")
                (:file "test-inference-rules")
                (:file "test-infix-parsing")
+               (:file "test-truth-table")
                (:file "test-pratt"))
   :perform (test-op (o c)
                     (symbol-call :rove :run c)))

t/test-truth-table.lisp

@@ -0,0 +1,35 @@
+(in-package :lisp-inference/tests/test-truth-table)
+
+(deftest truth-table-tests
+  (testing "== Truth-table tests!"
+    (ok (equal (eval-expression '(^ p q))
+               "TFFF")
+        "AND OPERATION: p ^ q")
+
+    (ok (equal (eval-expression '(v p q))
+               "TTTF")
+        "OR OPERATION: p v q")
+
+    (ok (equal (eval-expression '(=> p q))
+               "TFTT")
+        "CONDITIONAL OPERATION: p => q")
+
+    (ok (equal (eval-expression '(<=> p q))
+               "TFFT")
+        "BICONDITIONAL OPERATION: p <=> q")
+
+    (ok (equal (eval-expression '([+] p q))
+               "FTTF")
+        "XOR OPERATION: p [+] q")
+
+    (ok (equal (eval-expression '(~ p))
+               "FT")
+        "NOT OPERATION: ~ p")
+
+    (ok (equal-expression '(^ p q)
+                          (de-morgan '(^ p q)))
+        "EQUAL EXPRESSION 1")
+
+    (ok (equal-expression '(~ (~ p))
+                          'p)
+        "EQUAL EXPRESSION 2")))

t/tests.lisp

@@ -13,6 +13,11 @@
         #:lisp-inference
         #:rove))
 
+(defpackage #:lisp-inference/tests/test-truth-table
+  (:use #:cl
+        #:lisp-inference
+        #:rove))
+
 (defpackage #:lisp-inference/tests/test-pratt
   (:use #:cl
         #:lisp-inference
@@ -23,4 +28,5 @@
   (:import-from #:lisp-inference/tests/test-equivalence-rules)
   (:import-from #:lisp-inference/tests/test-inference-rules)
   (:import-from #:lisp-inference/tests/test-infix-parsing)
+  (:import-from #:lisp-inference/tests/test-truth-table)
   (:import-from #:lisp-inference/tests/test-pratt))