相关考题
-
单项选择题
在公式:中,自由出现的变元是()。
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
