问答题
A是集合，*是A上满足结合律的运算，并且对A的任意元素a，b，如果a≠b则有a*b≠b*a
证明对A的任意元素a，a*a=a
问答题 用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。
问答题 给定无向完全图G=〈V，E〉，且|V|=4。在图同构意义下，试求：①G的所有子图；②G的所有生成子图。
问答题 求公式的前束范式。
