离散数学的一些题目，求高手一起解答

选择题 1.设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为( B ) A）p→q B）q→p C）p→┐q D）┐p→q 2.设解释I如下，个体域D={a,b}, F(a,a）=F(b,b)=0,F(a,b)=F(b,a）=1，在解释I下，下列公式中真值为1的是( A ) A） VxヨyF(x,y) B）ヨxVyF(x,y) C）VxVyF(x,y) D）┐ヨxヨyF(x