主題
Search

不可滿足


一個公式,如果在任何解釋中,其真值表僅包含假,則稱為不可滿足的。


另請參閱

解釋, 可滿足

使用 探索

請引用為

Weisstein, Eric W. “不可滿足。” 來自 Web 資源。 https://mathworld.tw/Unsatisfiable.html

主題分類