[单选题,6.6分] 令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( )
A.p∧┐q
B.p∨┐q
C.p∧q
D.p→┐q
出自:河南理工大学-计算机科学与技术-离散数学