设A、B是任意两个谓词公式，对A、B的任何赋值，若其真值相同，则称A与B是等价的，记作A⇔B;若A→B是有效的，则称A蕴含B，记作A=＞B。（)

A.永真

B.永假

C.不可满足

D.等价

A.若A,B均可逆,则A+B可逆

B.若A,B均可逆,则AB可逆

C.若A+B可逆,则A-B可逆

D.若A+B可逆,则A,B均可逆

A.P(AB)=P(A)P(B)

B.P(A-B)=P(A)

C.A与B互不相容

D.B与A相容

A.A与B的阶数相同

B.A与B的行数相同

C.A与B的列数相同

D.C与A的行数相同

A.|A|≠0

B.A=O

C.|A|=0

D.A≠0

A.P(A)

B.P(B)

C.1-P(A)

D.P(AB)