问答题
用真值表或等价演算判断下列命题公式的类型
(p→q)→(¬q→¬p)
<=>(p→q)→(p→q) （假言易位式） <=>T(永真式）
问答题 计算你的算法所需要的移动次数。
问答题 设计一个移动的算法。
问答题 求方程x2-[x2]=（x-[x]）2在区间[8，10]中的解的个数．
