Merge branch 'negation_normal_form'

src/main.rs

@@ -20,5 +20,6 @@ fn main() {
     println!("{}", gray_code(15));
     println!("{}", gray_code(7));
     println!("{}", gray_code(3));
+    print_truth_table("ZFG|&");
     print_truth_table("ABC|&");
 }

src/truth_table.rs

@@ -97,7 +97,6 @@ pub fn print_truth_table(formula: &str) {
     separator = format!("{separator}---|");
     println!("{format}");
     println!("{separator}");
-    //dbg!(vec.clone());
     recursive_fn(formula, vec.into_iter().rev().collect(), String::from("|"));
     // call eval formula a lot
 }