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