在命题逻辑中将下列命题符号化

问题描述:

在命题逻辑中将下列命题符号化
小王不但聪明而且美丽
诺1+1=0,则地球就不转了
只有天气又冷又下雨,他才乘车上班.
不经历风雨,就不能见彩虹
她是山东人或是广东人

小王聪明∧小王美丽
1+1=0 → 地球不转
天气冷∧下雨 ⇔ 他乘车上班
¬­经历风雨 → ¬­见彩虹
她是山东人 ∨ 她是广东人