fix: incorrect CNF result when no variables are used

1 files changed, 2 insertions, 2 deletions

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![];