用公式求P→(P∧(Q→R))
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急
求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
用等值演算或真值表证明公式(p→q)∧(p→r)<=>p→(q∧r)
求命题公式 ((p∨q)→r)→p 的主析取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求帮离散数学证明题,利用真值表证明公式((P→Q) ∧(Q→R)) →(P→R)为永真式
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r
求公式(Q→P)∧(┓P∧Q)的主合取范式
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
(P→Q)∧(R→Q)<=>(P∨R)→Q