设p：我们正在听课，q：我们正在睡觉，则命题“我们不能睡着觉听课”符号化为‍