连通非平凡的无向图G有一条欧拉回路当且仅当图G是（）。

单项选择题在公式：中，自由出现的变元是（）。

A.第一个x
B.z
C.第二个x
D.y

单项选择题P®（P∧Q）的类型是（）。

A.重言式
B.矛盾式
C.非重言可满足式

单项选择题P∧Q的对偶式是（）。

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

单项选择题我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？（）

A.析取三段论
B.构造性二难
C.假言推理
D.拒取式

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

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