主题
Search

不可满足


一个公式,如果在任何解释中,其真值表仅包含假,则称为不可满足的。


另请参阅

解释, 可满足

使用 Wolfram|Alpha 探索

请引用为

Weisstein, Eric W. “不可满足。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Unsatisfiable.html

主题分类