问答题
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）
问答题 试证：若一无向图有奇数长的圈，则它一定有奇数长的基本圈。
