标签：;;、在逻辑运算中，如果X+Y=X+Z，那么Y=Z