离散数学替换实例和等值演算的相关问题

离散数学如何用等值演算法求(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∨r)∧(﹁p∨q∨r)<==> M0...

离散数学 一阶逻辑、推理、等值演算: 请问下图中的第四部第五部第六部...
比如第④步 附加：A⥤（A∨B）第⑤⑥步 置换要明白置换规则：如图

离散数学等值演算法证明,第一,第三问
(p∧q)∨(p∧¬q)⇔p∧（q∨¬q）分配率 ⇔p∧TRUE ⇔p （2）¬(p↔q)⇔¬((p→q)∧(q→p)) 变成 合取析取 ⇔¬((¬p∨q)∧(¬q∨p)) 变成 合取析取 ⇔¬((¬p∨(p∧q))∧(&...

如何运用等值演算法解决问题?
运用等值演算法可以这样计算：A:赵去,B钱去,C孙去,D李去,E周去 1、若赵去,钱也去, A→B＝┐A∨B 2、李,周两人中必有一人去 D∨E 3、钱,孙两人中去切仅去一人 (B∧┐C)∨(┐B∧C)4、孙,李两人同去或不同去 (┐C∧┐D)∨(C∧D)5、若周去,则赵,钱也同去 E→A∧B＝┐...

离散数学里面的逻辑 等值演算,(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)→R的主析取范式 (要解答过程)
方法一:原式=>┐(┐P∨Q)∨R =>(P∧┐Q)∨R =>((P∧┐Q)∧(R∨┐R))∨(R∧(P∨┐P)∧(Q∨┐Q)))=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨((R∧P)∨(R∧┐P))∧(Q∨┐Q))=>(P∧┐Q∧R)∨(P∧┐Q┐R)∨(R∧P∧Q)∨(R∧P∧┐Q)∨ (R∧┐P∧Q)∨(R∧┐P∧...

离散数学中的等值演算
等值演算的证明：((P→Q)∧(Q→R))→(P→R)⇔¬((P→Q)∧(Q→R))∨(P→R) 变成 合取析取 ⇔¬((¬P∨Q)∧(¬Q∨R))∨(¬P∨R) 变成 合取析取 ⇔(¬(¬P∨Q)∨¬(¬Q∨R))∨(¬P∨R) 德摩根...

(离散数学)对((p→q)∧(q→r))→(p→r)进行等值演算以判断公式类型...
⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r) 变成 合取析取 ⇔(¬(¬p∨q)∨¬(¬q∨r))∨(¬p∨r) 德摩根定律 ⇔((p∧¬q)∨(q∧¬r))∨(¬p∨r) 德摩根定律 ⇔(p∧¬q)∨(q∧&...

请高手帮我解答离散数学的问题!打得好的追加悬赏!
第一题用等值演算求得它为（p吸取非q)所以它不是合取范式。当p=0,q=1时命题为真，当q=0,p=1时命题为假，所以它为可满足式。 第2题考查幂集，幂集为全体子集构成的集合，所以它为元素个数为2的N次方。A*A为集合的有序对，有序对为A中元素取一个，B中元素取一个，这里B为A，所以它...