主析取范式(DNF)是逻辑命题的一种标准形式,其中逻辑命题由多个子句的析取构成,每个子句由多个文字的合取构成。

例如,命题公式 'p ∧ (q ∨ r)' 可以写成 DNF 的形式:'(p ∧ q) ∨ (p ∧ r)'。

因此,答案是A。


原文地址: https://www.cveoy.top/t/topic/vEs 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录