相关试题
计算题 1.求下列各公式的主析取范式和主合取范式: p→(P∧(Q→P)) P∨(P→Q) P→Q P∨¬Q P∧Q
计算题 2.证明:P→Q,¬Q∨R,¬R,¬S∨P=>¬S
计算题 6.证明:(P→Q)∧(P→R),¬(Q∧R),S∨P=>S
计算题 8.设A,B,C是三个集合,证明:(A-B)∩(A-C)=∅⇔A⊆B∪C
计算题 4.证明:¬B∨D,(E→¬F)→¬D,¬E =>¬B
计算题 5.证明:P→(Q→R)=>(P→Q)→(P→R)
计算题 P→¬Q,Q∨¬R,R∧¬S=>¬P
计算题 3.证明:P∨Q,P→R,Q→S =>R∨S