0:00
专家逻辑等价等价检查

将以下表达式转换为合取范式(CNF):

(A → B) ∧ (C ∨ D)

CNF是子句的合取,其中每个子句是文字的析取。