问答题 设A={a，b，c，d}，在A上定义一个二元运算如表1所示．又设B={α，β，γ，δ}，在B上定义一个二元运算如表2所示．证明〈A，*〉和〈B，*〉是同构的．

问答题 给定简单无向图G=〈V，E〉，且|V|=n，|E|>（1/2）（n-1）（n-2），试证G是连通图，试给出|V|=n，|E|=（1/2）（n-1）（n-2）的简单无向图G=〈V，E〉是不连通的例子。

问答题 求以下公式的主析取范式，并求成真赋值： ￢（p→q）∧q∧r