问答题
求(¬p∨¬q)→(p↔¬q)公式的析取范式、合取范式及主析取范式、主合取范式,并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.
单项选择题 已知A是B的充分条件,B是C的必要条件,D是B的必要条件,问A是D的()
单项选择题 下面各联结词集中,()不是完备联结词组.
单项选择题 下列各组表达式(其中p为单独的命题变元,A为含有联结词的命题公式)中,互为对偶的是()