基本解释[数学]可满足公式英汉例句双语例句A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.一个公式是极小不可满足的是指该公式本身不可满足，而且从中删去任意一个 子句后得到的公式可满足。satisfiable formula更多例句词组短语短语satisfiable propositional formula 命题可满足公式satisfiable formula更多词组专业释义数学可满足公式