数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算?((p∧┐q)∨(q∧r))∨r∨p 这个怎么算 教科书上说用两次吸收律

离散数学数理逻辑(p->r)∧(q->┐r)∧(┐r->(p∨q)) 怎么演算变成主析取范式? 答案是 m1∨m2∨m5 数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算?((p∧┐q)∨(q∧r))∨r∨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∨┐r)是如何变成(┐p∧┐q∧┐r)∨(p∧q∧r)的? 证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q . 急用,证明等价式（┐P∧(┐Q∧R)）∨(Q∧R)∨(P∧R)=R ((P→Q)∧ P∧ R)∨R=R 为什么? 离散数学证明题：证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S 求下列公式的主析取和主合取范式,(p∧┐q)∨(q∧r) 为什么(┐p∨┐q∨┐r∨s∨r)∧(┐p∨┐q∨r∨s∨┐s)是T? 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r (┐p∨r)∧(p→q)的成假赋值(p→q)∧(┐(p∧r)∨p)的成假赋值 关于离散数学的几个问题证明P→Q＝>┐P∨Q证明┐P∨（P∧Q）＝>P→（P∧Q）R→┐R是什么? 证明下列等值式：(p∧q)∨(┐p∧r)∨(q∧r)≤=≥(p∧q)∨(┐p∧r)怎么证明的? 离散数学： p∧q∧r是主析取范式吗 p∨q∨r是主合取范式吗 请说明为什么? p∧q∨r和(p∧q）∨r一样啊.书上为什么这么写?