A.析取三段论B.构造性二难C.假言推理D.拒取式我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，……

单项选择题根据蕴涵律，P®Q与下列哪个公式等价？（）

A.﹁P∨Q
B.P∧﹁Q
C.P∨﹁Q
D.﹁P∧Q

单项选择题﹁P∨Q∧R®S是以下哪个合式公式的简化形式？（）

A.（（（﹁P）∨（Q∧R））®S）
B.（（﹁（P∨Q）∧R）®S）
C.（（（（﹁P）∨Q）∧R）®S）
D.（（﹁P）∨（Q∧（R®S）））

单项选择题以下哪个命题是原子命题？（）

A.世界上没有救世主，也没有神仙
B.小明要么在上课，要么在操场跑步
C.张三和李四是朋友
D.如果明天下雨，我就不去公园

多项选择题给定无向图G=< V，E>，如下图所示，下面哪个边集是其边割集？（）

A.
B.
C.
D.

多项选择题以下哪些是8阶循环群G=的生成元？（）

A.a
B.a⁷
C.a⁵
D.a³