单项选择题

A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于(A),(B),(C)任何类型