Satisfiable Boolean Logic Sentence

A Satisfiable Boolean Logic Sentence is a Boolean Logic Sentence that is a Satisfiable Logic Sentence.

• • …
• Counter-Example(s):
  • an Unsatisfiable Boolean Logic Sentence.
• See: Boolean SAT.

---

---