Warning: file_put_contents(/home/www/wwwroot/zidian/totle.com.cn/cache/e7ba5901e88725ab770d8eac75d68186.txt): failed to open stream: No space left on device in /home/www/wwwroot/zidian/totle.com.cn/index.php on line 55 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. 一个公式是极小不可满足的是指该公式本身不可满足，而且从中删去任意一个 子句后得到的公式可满足。