杭州紫金港培训学校(紫金港专升本)杭州紫金港培训学校(紫金港专升本)
同等学力申硕学科综合(计算机科学与技术)

含变元 p、q、r 的公式 A 的主析取范式是 m1 \lor m2 \lor …

第 2 题单选题模拟题较易

含变元 p、q、r 的公式 A 的主析取范式是 m1∨m2∨m5∨m6m_1 \lor m_2 \lor m_5 \lor m_6m1​∨m2​∨m5​∨m6​,则 A 的主合取范式是( )

主合取范式析取范式与合取范式主析取范式推理规则归结推理命题逻辑公理系统
回到课节:第 3 节 命题逻辑:主范式与推理演算
我要提问免费报名咨询