问答题
设A、B、C是任意命题公式， ⑴若A∨C<=>B∨C,A<=>B一定成立吗？ ⑵若A∧C<=>B∧C,A<=>B一定成立吗？ ⑶,A<=>B一定成立吗？
问答题 用等值演算法证明以下等值式： ￢（pq）（p∨q）∧￢（p∧q）
问答题 试证：若一无向图有奇数长的圈，则它一定有奇数长的基本圈。
问答题 对于下面给定集合A和B，构造从A到B的双射函数。 A=[π，2π]，B=[-1，1]是实数区间。
,A<=>B一定成立吗？