Unsatisfiable Boolean Logic Sentence: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - ". ----" to ". ----") |
m (Text replacement - "__NOTOC__ " to "__NOTOC__ ") |
||
| Line 9: | Line 9: | ||
__NOTOC__ | __NOTOC__ | ||
[[Category:Concept]] | [[Category:Concept]] | ||
Latest revision as of 05:23, 6 January 2023
A Unsatisfiable Boolean Logic Sentence is a Boolean Logic Sentence that is an Unsatisfiable Logic Sentence.
- …
- Counter-Example(s):
- See: Boolean SAT.