画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：

画树形图时，如果根节点的公式为A，最后有的枝不封闭，则可以证明：
A.A是重言式
B.A不是重言式
C.A是可满足式
D.A是矛盾式
正确答案：A是可满足式