离散数学的符号化命题，求高人指点

离散数学的符号化命题，求高人指点

（1）设“看电影”为p，“复习功课”为q，符号化为：¬p∧q
（2）设“下雨”为p，“看电影”为q，“读书”为r，“看报”为s，符号化为：(¬p→q)∧((p→(r∨s))
（3）设“复习功课”为p，“看电影”为q，符号化为：¬p←q
（4）设“气温在零度以下”为p，“在下雪”为q，符号化为：(p∨q)∧(p→¬q)
（5）设“1+1=3”为p，“存在上帝”为q，符号化为：p→q2018-09-17