一個公式,如果在任何解釋中,其真值表僅包含假,則稱為不可滿足的。
更多嘗試
Weisstein, Eric W. “不可滿足。” 來自 Web 資源。 https://mathworld.tw/Unsatisfiable.html