离散数学命题符号化?

离散数学命题符号化?
将下列命题符号化?
1.或者你没有给我写信,或者它在路上丢了.
2.如果上午不下雨,我就去看电影,否则我就在家里看书或看报纸.
3.我今天进城,除非下雨.
4.如果太阳没出来,则或者下雨或者阴天而且温度下降.
5.指南针永指南北,除非他傍边有磁铁.
6.说逻辑枯燥无味和毫无价值是不对的.
7.人不犯我,我不犯人；人若犯我,我必犯人.