问答题
用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出其成真赋值。
问答题 给定无向完全图G=〈V，E〉，且|V|=4。在图同构意义下，试求：①G的所有子图；②G的所有生成子图。
问答题 求公式的前束范式。
问答题 设A={a，b，c，d}，二元运算ο和*如表6、表7定义，问运算ο和*是否可交换，是否有零元．是否有幺元；如果有幺元，指出哪些元素有逆元，逆元是什么？
