Warning: file_put_contents(/www/wwwroot/zidian/biehu.cn/cache/14965be1c13631fd9c1e7291fed622a9.txt): failed to open stream: No space left on device in /www/wwwroot/zidian/biehu.cn/index.php on line 58 satisfiable formula例句_satisfiable formula英汉例句_satisfiable formula双解例句_甲百汇小鸡词典
A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. 一个公式是极小不可满足的是指该公式本身不可满足，而且从中删去任意一个 子句后得到的公式可满足。