问答题
计算题
求(¬p∨¬q)→(p↔¬q)公式的析取范式、合取范式及主析取范式、主合取范式,并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.
【参考答案】

点击查看答案
相关考题
-
单项选择题
已知A是B的充分条件,B是C的必要条件,D是B的必要条件,问A是D的()
A.充分条件
B.必要条件
C.充要条件
D.以上都不对 -
单项选择题
下面各联结词集中,()不是完备联结词组.
A.{¬,∧}∨
B.{¬,→}
C.{∧,∨}
D.{↑} -
单项选择题
下列各组表达式(其中p为单独的命题变元,A为含有联结词的命题公式)中,互为对偶的是()
A.A
B.B
C.C
D.D