A homomorphism of CNF formulas from H to F is a function mapping the set of literals in H to the set of literals in F and it preserves complements and clauses.是什么意思_A homomorphism of CNF formulas from H to F is a function mapping the set of literals in H to the set of literals in F and it preserves complements and clauses.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句