离散数学求﹁(p^q)^(p∨q)，谢谢啦

如题所述

举报该问题

推荐答案 2018-03-29

¬(p∧q)∧(p∨q)
⇔ (¬p∨¬q)∧(p∨q) 德摩根定律
得到主合取范式，
再检查遗漏的极大项
⇔ M0∧M3
⇔ ∏(0,3)
⇔ ¬∏(0,3)
⇔ ∑(0,3)
⇔ m0∨m3
⇔ ¬(p∨¬q)∨¬(¬p∨q) 德摩根定律
⇔ (¬p∧q)∨(p∧¬q) 德摩根定律

得到主析取范式

温馨提示：答案为网友推荐，仅供参考

当前网址：http://77.wendadaohang.com/zd/IIppGIpvvv3WqvqpIY.html

相似回答

求命题公式的真值表.(p∧Q)∧(┐p∨┐Q) 真值表答：真值表如下：———P Q | P∧Q | ┐P | ┐Q | ┐P∨┐Q | (P∧Q)∧(┐P∨┐Q)———T T | T | F | F | F | F ———T F | F | F | T | T | F ———F

一道相当有意思的离散数学题!求解!谢各位大神!答：爱吃豆皮的人：Q 不爱吃豆皮的人：﹁Q 爱吃素的人都爱吃豆皮：(P→Q)∧(Q→P)吃荤的不爱吃豆皮：(﹁P→﹁Q)∧(﹁Q→﹁P)那么就是由前提：(P→Q)∧(Q→P) 得出结论：(﹁P→﹁Q)∧(﹁Q→﹁P)证明：(P→Q)∧(Q→P)<=>(﹁P∨Q)∧(﹁Q∨P)<=>(Q∨﹁P)∧(P∨﹁Q)<...

离散数学:证明(P→Q)←→(┐P∨Q)是恒真的,求详细步骤,谢谢各位学霸...答：⇔((P→Q)→(¬P∨Q))∧((¬P∨Q)→(P→Q)) 变成合取析取 ⇔(¬(P→Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(P→Q)) 变成合取析取 ⇔(¬(¬P∨Q)∨(¬P∨Q))∧(¬(¬P∨Q)∨(¬P∨Q)) ...

离散数学问题答：(1)单个命题常项或变项是合式公式；(2)如果A是合式公式，则﹁A也是合式公式；(3)如果A，B是合式公式，则P∧Q、P∨Q、P®Q、 P«Q也是合式公式；(4)只有有限次地应用(1)～(3)所包含的命题变元，联结词和括号的符号串才是合式公式。所以是合式公式参考资料：<a href="...

求命题公式的真值表.(p∧Q)∧(┐p∨┐Q) 真值表答：1. 请同学们不要偷懒，认真学习离散数学，遇到不懂的问题要多翻书。2. 以下是最新的真值表，请参考：```P Q | P∧Q | ┐P | ┐Q | ┐P∨┐Q | (P∧Q)∧(┐P∨┐Q)———T T | T | F | F | F | F T F | F | F | T | T ...

离散数学,谢谢答：⇔ ¬(P∨Q)∨(P∧¬R) 变成合取析取 ⇔ (¬P∧¬Q)∨(P∧¬R) 德摩根定律 ⇔(¬P∨(P∧¬R))∧(¬Q∨(P∧¬R)) 分配律 ⇔(¬P∨¬R)∧(¬Q∨P)∧(¬Q∨¬R) 分配律...

离散数学 求(﹁p^q)∨(﹁p^﹁q)答：用p'表示非p,(p'q)+(p'q')=p'(q+q')=p'.

大家正在搜

p双条件q等于什么离散数学离散数学只有p才q p推出q等价于非p或q p则q等价于非p则非q p析取q析取r p析取q的合取范式 p强析取q p不相容析取q p严格析取q

离散数学求﹁(p^q)^(p∨q)的析取范式，谢谢啦

离散数学(p^q^a一>c)^(a一>pvqvc)如何等价(...

离散数学，用等值演算法求下列公式的主析取范式（p→q）^（...

求((p→q)^p)→q的主析取范式

设命题公式为（﹁p→q）→（q→﹁p）,（1）求此命题公式的...

离散数学，求 ┐（ p∨Q) ↔（ p∧Q)的主...

离散数学：证明(P→Q)←→(┐P∨Q)是恒真的，求详细步骤...

离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、...