离散数学求(﹁p^q)∨（﹁p^﹁q)

如题所述

举报该问题

第1个回答 2023-03-07

用p'表示非p,
(p'q)+(p'q')
=p'(q+q')
=p'.

第2个回答 2022-10-18

根据分配律：
(﹁p∧q)∨(﹁p∧﹁q) ⇔ ﹁p∧(q∨﹁q) ⇔ ﹁p∧1 ⇔ ﹁p

相似回答

离散数学 求﹁(p^q)^(p∨q),谢谢啦答：得到主合取范式，再检查遗漏的极大项 ⇔ M0∧M3 ⇔ ∏(0,3)⇔ ¬∏(0,3)⇔ ∑(0,3)⇔ m0∨m3 ⇔ ¬(p∨¬q)∨¬(¬p∨q) 德摩根定律 ⇔ (¬p∧q)∨(p∧¬q) 德摩根定律得到主析取范式 ...

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

证(p^q)v(p^(q的否定))等价于p。此题为离散数学答：证： （p^q）v（p^非q）= p ^ (qv非q)= p ^ 1 = p

求救,离散数学答：这种例子教科书上有的，翻翻书，用上常用的命题等价式，依样画葫芦即可。(p∨q)→r <==> ﹁(p∨q)∨r <==> (﹁p∧﹁q)∨r (析取范式)<==> (﹁p∨r)∧(﹁q∨r)<==> ((﹁p∨q∨r)∧(﹁p∨﹁q∨r))∧((p∨﹁q∨r)∧(﹁p∨﹁q∨r))<==> (﹁p∨q∨r)∧(﹁...

离散数学里面的逻辑等值演算,(p∧q)∨(p∧非q)..(非p∨q)∧(非q∨p...答：用分配率:(p∧q)∨(p∧~q) = ((p∧q)∨p)∧((p∧q)∨~q) = p∧(p∨~q)=p (~p∨q)∧(~q∨p) = ((~p∨q)∧~q)∨((~p∨q)∧p) = (~p∧~q)∨(p∧q) = (p→q)∧(p←q)第2个是双条件命题，我打不出符号，应该就是这样了吧，用真值表也能看出来的 ...

求命题公式的真值表.(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)→q <==> ┐(p∧q) ∨ q <==> (┐p∨┐q)∨q <==> ┐p <==> ┐p∨(q∧┐q)<==> (┐p∨q)∧(┐p∨┐q)<==> M2∧M3 （主合取范式）<==> m0∨m1 （主析取范式）

大家正在搜

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