0:00
难度: 专家类别: 逻辑等价类型: 等价检查

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

(A → B) ∧ (C ∨ D)

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