Warning: file_put_contents(/home/www/wwwroot/zidian/oclz.com/cache/c24dfe9066cb19888ade5e4ec91a21fe.txt): failed to open stream: No space left on device in /home/www/wwwroot/zidian/oclz.com/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. 一個公式是極小不可滿足的是指該公式本身不可滿足，而且從中刪去任意一個 子句後得到的公式可滿足。