问答题
用等值演算法判断以下公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值。 （p∨q）→（p∧r）
问答题 试证明图中两个无向图是不同构的。
问答题 证明对A的任意元素a，b，c，a*b*c=a*c
问答题 设A，B，C是任意命题公式，证明：⑴AA⑵若AB，则BA⑶若AB,BC,则AC
