设A，B是命题公式，则对于命题公式间的永真蕴涵关系。

证明：对于任意命题公式A和B,有永真。

对于命题公式A，B,证明:。

设A，B，C是任意的命题公式。判断下列命题是否成立。阐述理由。（1)若，则A=B。（2)若AVC=BVC，则A=B。（3)

设A，B，C是任意的命题公式。判断下列命题是否成立。阐述理由。

(1)若，则A=B。

(2)若AVC=BVC，则A=B。

(3)若，则A=B。

已知命题公式为，则G的析取范式是______。

设命题P，Q的真值为F，命题R，S的真值为T，求公式的真值。

证明：是分配格，其中F是所有合式公式组成的集合，是公式间的逻辑蕴涵关系。

命题公式的真值是_______.