Contents Introduction 2 Boolean Satisfiability Problem 2 Propositional Logic 2 Conclusion 2 References 3 Introduction To implement the SAT solver using the semantic tableaux. The Boolean problem display the output in logic values (Sinz and Egly, 2014). The OR operators used to disjoin the variable and is called as the disjunction operator (Moti) Ben-Ari, 2018). Conclusion We are using the c program for implement the SAT solver using the semantic tableaux.