逻辑数学设A,B,C为逻辑变量,回答下列问题1)若已知A+B=A+C,则B=C,是否正确,为什么?2)若已知AB=BC,