问答题
设A，B，C是任意命题公式，证明：⑴A<=>A⑵若A<=>B，则B<=>A⑶若A<=>B,B<=>C,则A<=>C
问答题 证明对A的任意元素a，b，a*b*a=a
问答题 证明对A的任意元素a，a*a=a
问答题 用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。
