Unsatisfiable Boolean Logic Sentence

A Unsatisfiable Boolean Logic Sentence is a Boolean Logic Sentence that is an Unsatisfiable Logic Sentence.

• • …
• Counter-Example(s):
  • a Satisfiable Boolean Logic Sentence.
• See: Boolean SAT.

---

---