一个公式,如果在任何解释中,其真值表仅包含假,则称为不可满足的。
更多尝试
Weisstein, Eric W. “不可满足。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Unsatisfiable.html