展开全部
(p→q)∧(q→r)
⇔ (¬p∨q)∧(¬q∨r) 变成 合取析取
⇔ (¬p∨q∨(¬r∧r))∧((¬p∧p)∨¬q∨r) 补项
⇔ ((¬p∨q∨¬r)∧(¬p∨q∨r))∧((¬p∧p)∨¬q∨r) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∧p)∨¬q∨r) 结合律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨r)∧(p∨¬q∨r)) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r) 结合律
得到主合取范式，
再检查遗漏的极大项
⇔ M1∧M2∧M3∧M5
⇔ ∏(1,2,3,5)
⇔ ¬∏(1,2,3,5)
⇔ ∑(1,2,3,5)
⇔ m1∨m2∨m3∨m5
⇔ ¬(p∨q∨r)∨¬(p∨q∨¬r)∨¬(p∨¬q∨¬r)∨¬(¬p∨¬q∨¬r) 德摩根定律
⇔ (¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧q∧r) 德摩根定律
⇔ (¬p∨q)∧(¬q∨r) 变成 合取析取
⇔ (¬p∨q∨(¬r∧r))∧((¬p∧p)∨¬q∨r) 补项
⇔ ((¬p∨q∨¬r)∧(¬p∨q∨r))∧((¬p∧p)∨¬q∨r) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∧p)∨¬q∨r) 结合律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨r)∧(p∨¬q∨r)) 分配律
⇔ (¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)∧(p∨¬q∨r) 结合律
得到主合取范式，
再检查遗漏的极大项
⇔ M1∧M2∧M3∧M5
⇔ ∏(1,2,3,5)
⇔ ¬∏(1,2,3,5)
⇔ ∑(1,2,3,5)
⇔ m1∨m2∨m3∨m5
⇔ ¬(p∨q∨r)∨¬(p∨q∨¬r)∨¬(p∨¬q∨¬r)∨¬(¬p∨¬q∨¬r) 德摩根定律
⇔ (¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧q∧r) 德摩根定律
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
Sievers分析仪
2024-10-13 广告
是的。传统上，对于符合要求的内毒素检测，最终用户必须从标准内毒素库存瓶中构建至少一式两份三点标准曲线；必须有重复的阴性控制；每个样品和PPC必须一式两份。有了Sievers Eclipse内毒素检测仪，这些步骤可以通过使用预嵌入的内毒素标准...
点击进入详情页
本回答由Sievers分析仪提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
