问答题
设代数系统V=〈A，*〉的运算表如下表所示。
说明*运算是否满足交换律、结合律、幂等律。
问答题 R为实数集合，S=R×R，*为S上的运算，定义为对任意〈x，y〉∈S，〈u，v〉∈S，〈x，y〉*〈u，v〉=〈xu，yv+y〉，求*的幺元，当x≠0时，求〈x，y〉的逆元.
问答题 设A、B、C是任意命题公式， ⑴若A∨C<=>B∨C,A<=>B一定成立吗？ ⑵若A∧C<=>B∧C,A<=>B一定成立吗？ ⑶,A<=>B一定成立吗？
问答题 用等值演算法证明以下等值式： ￢（pq）（p∨q）∧￢（p∧q）
