用真值表证明：合取对析取的分配律．

化简命题公式：((P→Q)∨(￢Q→￢P))∧R．

(1)严禁吸烟．

(2)我正在说谎．

(3)如果1+3=4，那么雪是黑的．

(4)如果1+2=5，那么雪是黑的．

如果周强是上海人，则他是复旦大学或中山大学的学生；如果他不想离开上海，他就不是中山大学学生；周强是上海人并且不想离开上海，所以他是复旦大学学生．

前提：p→(q→s)，r→p，q．

结论：r→s．

前提：￢p→q，p→r，r→s．

结论：q∨s．