![Checkout](https://naologiccom.imgix.net/website-update/general/checkout.png?auto=compress&w=64&fm=png)
Personalized AI apps
Build multi-agent systems without code and automate document search, RAG and content generation
Start free trial Question
Boolean Satisfiability Problem - What is an example of a Boolean satisfiability?
Answer
Now think about the Boolean statement 'a AND NOT b'. The assignment of TRUE to a and FALSE to b makes the equation (a AND NOT b) equal to TRUE, hence this is satisfiable. The statement 'a AND NOT a', nevertheless, fails to meet the mark. According to the Cook-Levin theorem, the first issue to be proclaimed NP-complete was the Boolean Satisfiability issue, or SAT for short.