单项选择题 设：P：你努力；Q：你失败。则命题“除非你努力，否则你将失败。”在命题逻辑中可符号化为（）

单项选择题 设：P：他聪明；Q：他用功。则命题“他虽聪明但不用功。”在命题逻辑中可符号化为（）

单项选择题 设：p：小刘聪明。q：小刘用功。在命题逻辑中，命题：“小刘不但聪明，而且用功”可符号化为：（）