离散的答案.docVIP

指出下列命题哪些是重言式、偶然式和矛盾式： 重言式有：a c d e f h i k l 偶然式有：g j m n 矛盾式有：b 2. (a)= P∨Q∨┐R= ┐（┐P∧┐Q∧R） (b)= P∨┐（┐Q∧R）∨P = P∨Q∨┐R = ┐（┐P∧┐Q∧R） (c)= ┐P∨（┐Q∨R） = T (d)= F (e)=（┐P∨（Q∨┐R））∧┐P∧Q = ┐P∧Q = ┐（P∨┐Q） (f)= ┐P∧┐Q∧（R∨P） = ┐P∧┐Q∧R∨┐P∧┐Q∧P = ┐P∧┐Q∧R∨F = ┐（P∨Q∨┐R） 3. (a)= ┐（P∧Q）∨P=┐P∨┐Q∨P=T (b)= ┐(┐(P∨Q)→┐P) = ┐(P∨Q∨┐P) = F (c)= (┐Q∨P)∧(P∨Q)∧T =P (d)= ┐P∧P=F 4.(a)= ┐P∨┐Q∨P = P∨(┐P∨┐Q) = ┐P→(P→┐Q) (b)= (┐P∨Q)∧(┐R∨Q) = (┐P∧┐R)∨Q = ┐(P∨Q)∨Q = P∨R→Q (c)= ┐((P→Q)∧(Q→P) = ┐((┐P∨Q)∧(┐Q∨P)) = ┐(┐P∨Q)∨┐(P∨┐Q) = (P∧┐Q)∨(┐P∧Q) = (P∨┐P)∧(P∨Q)∧(┐Q∨┐P)∧(┐Q∨Q) = (P∨Q)∧┐(P∧Q) (d)= ┐(┐P∨Q)