基本解釋[數(shù)學]可滿足公式英漢例句雙語例句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更多詞組專業(yè)釋義數(shù)學可滿足公式