
电大离散数学 求-pv(q^r)的合取范式与主合取范式 10
展开全部
本题求范式过程如下:
¬P∨(Q∧R)
⇔(¬P∧(¬Q∨Q)∧(¬R∨R))∨((¬P∨P)∧Q∧R) 补项
⇔((¬P∧¬Q∧(¬R∨R))∨(¬P∧Q∧(¬R∨R)))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧(¬R∨R))∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 结合律
⇔((¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R))∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 结合律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨((¬P∧Q∧¬R)∨(¬P∧Q∧R))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬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)) 分配律2
⇔(¬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)∨(¬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)∧(P∨Q∨R)
¬P∨(Q∧R)
⇔(¬P∧(¬Q∨Q)∧(¬R∨R))∨((¬P∨P)∧Q∧R) 补项
⇔((¬P∧¬Q∧(¬R∨R))∨(¬P∧Q∧(¬R∨R)))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧(¬R∨R))∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 结合律
⇔((¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R))∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨(¬P∧Q∧(¬R∨R))∨((¬P∨P)∧Q∧R) 结合律
⇔(¬P∧¬Q∧¬R)∨(¬P∧¬Q∧R)∨((¬P∧Q∧¬R)∨(¬P∧Q∧R))∨((¬P∨P)∧Q∧R) 分配律2
⇔(¬P∧¬Q∧¬R)∨(¬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)) 分配律2
⇔(¬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)∨(¬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)∧(P∨Q∨R)

2024-11-30 广告
全长转录组是指细胞中所有基因转录产生的全部RNA分子的集合,这些RNA分子包括编码蛋白质的mRNA以及非编码RNA,如lncRNA、tRNA、rRNA等。在迈杰转化医学研究(苏州)有限公司,我们专注于利用先进的测序技术,对全长转录组进行深入...
点击进入详情页
本回答由迈杰提供
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询