From aa7c54a7f82f1745d392cd019c753e68ca5fe2fc Mon Sep 17 00:00:00 2001
From: Mora Unie Youer <mora_unie_youer@riseup.net>
Date: Mon, 28 Apr 2025 09:32:39 +0300
Subject: fix: incorrect CNF result when no variables are used

---
 src/main.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/main.rs b/src/main.rs
index bc22521..e8c3849 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -292,9 +292,9 @@ fn cubes_to_dnf(cubes: &[Cube], vars: &[&str]) -> Logic {
 // NOTE: returns inverted result
 fn cubes_to_cnf(cubes: &[Cube], vars: &[&str]) -> Logic {
     if cubes.is_empty() {
-        return Logic::Constant(false);
-    } else if cubes.len() == 1 && cubes[0].t == 0 && cubes[0].f == 0 {
         return Logic::Constant(true);
+    } else if cubes.len() == 1 && cubes[0].t == 0 && cubes[0].f == 0 {
+        return Logic::Constant(false);
     }
 
     let mut dnf = vec![];
-- 
cgit v1.2.3-70-g09d2