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

将以下表达式转换为析取范式 (DNF):

A → (B ∧ C)

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