feat: add ex07

src/ex07.rs

@@ -0,0 +1,12 @@
+use crate::ex04::generate_truth_table;
+
+pub fn sat(formula: &str) -> bool {
+	let truth_table: String = generate_truth_table(formula);
+	let lines = truth_table.lines();
+	for line in lines {
+		if line.ends_with("true") {
+			return true;
+		}
+	}
+	return false;
+}

src/main.rs

@@ -25,6 +25,9 @@ use ex05::negation_normal_form;
 mod ex06;
 use ex06::conjunctive_normal_form;
 
+mod ex07;
+use ex07::sat;
+
 fn main() {
 	println!("\n{}", "EX00 - ADDER".normal().bold());
 	for _ in 0..42 {
@@ -226,6 +229,31 @@ fn main() {
 		);
 		println!();
 	}
+	println!("\n{}", "EX07 - SAT".normal().bold());
+	let formulas = [
+		("AB|", true),
+		("AB&", true),
+		("AA!&", false),
+		("AA^", false),
+		("AA!&BB!&|", false),
+	];
+
+	for formula in formulas {
+		println!(
+			"{}\t{} {}",
+			if sat(formula.0) == formula.1 {
+				"OK".green().bold()
+			} else {
+				"KO".red().bold()
+			},
+			formula.0,
+			if sat(formula.0) {
+				"can be satisfied"
+			} else {
+				"cannot be satisfied"
+			},
+		);
+	}
 }
 
 fn check_conjunctions(formula: &str) -> bool {