甲、乙、丙、丁至少有一个人是北京人.
p∨q∨r∨s
甲、乙、丙并非都是上海人.
¬( p∧q∧r)
如果明天是晴天,那么我们去打球,否则去图书馆.
p→(q∨r)
请问如何将上面的命题符号化,