若命题公式A不是永真式，则┓A是永真式。（)

证明公式既不是永真式，也不是矛盾式。

A.重言式

B.永假式

C.矛盾式

D.可满足式

利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2ⁿ个析取项,n是公式中变元的个数).

证明题。

(1)证明为可满足式，但不是永真式。

(2)证明为永真式。

A.永真式

B.永假式

C.可满足式

D.A，B，C均有可能

A.全同

B.真包含于

C.真包含

D.交叉

证明公式是永假式。