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

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

A → (B ∧ C)

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