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

A.A是重言式

B.A不是重言式

C.A是可满足式

D.A是矛盾式

正确答案：A是可满足式