单项选择题
画树形图时，如果根节点的公式为¬A，最后所有的枝均封闭，则可以证明（）
A.A 不是可满足式B.¬A 是重言式C.A 不是重言式D.¬A 不是重言式
单项选择题 下列关于真值表方法的叙述错误的是（）。
单项选择题 已知p 真q 假，则下列公式中为假的有（）。
单项选择题 下列符号串属于命题逻辑公式的是（）。
