From 62587576054c887ee11ca1de93b9975513736459 Mon Sep 17 00:00:00 2001
From: Sam Hadow <sam.hadow@proton.me>
Date: Mon, 13 Apr 2026 16:09:52 +0200
Subject: [PATCH] more tests

---
 tests/test_anf.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tests/test_anf.py b/tests/test_anf.py
index 4072e00..9d212df 100644
--- a/tests/test_anf.py
+++ b/tests/test_anf.py
@@ -84,6 +84,12 @@ def test_equivalence_suite():
         "!(X1 OR X2)",
         "(X1 + X2) * (!X1 + X3)",
         "!X1 AND (!X2 OR X3) OR X1 AND X2",
+        "X1 AND X2 OR X1 AND X3",
+        "!(X1 AND X2) OR (X1 OR X2)",
+        "X1 * X1 * X2 * X2",
+        "X1 + !X1 + X2",
+        "(X1 OR X2) AND (X2 OR X3) AND (X3 OR X1)",
+        "!!(X1 AND !X2) OR X3",
     ]
 
     for f in formulas: