化简命题公式:(P∨7P)→(7P∧Q∧R).
求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急
求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
化简下式命题公式((P∧Q)∨(『P∧『Q) ∧P)
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
离散数学的:证明:((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
求命题公式 ((p∨q)→r)→p 的主析取范式
利用真值表,求命题公式P∧Q∨R的主范式
求命题公式(P∧Q)∨R的主析取范式和主合取范式
构造命题公式(q∧┑p)→r的真值表,并判断其类型