离散数学命题符号化？

Question

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

Answer 1

1. P=你给我写信, Q=丢在了路上 P V Q
2. P=不下雨看电影，Q=在家看书 ┐P->Q
3. P=今天进城, Q=下雨 ┐P->Q
4. P=太阳没出来, Q=下雨或者阴天 ┐P->Q
5. P=指南针永指南北Q=他傍边有磁铁 ┐P->Q
6. P=逻辑枯燥无味毫无价值 ┐P
7. P=人犯我 Q=我犯人 (┐P ∩┐Q)∪(P∩Q)