符号方程与不等式