在逻辑代数中，下列推断正确的是（）。

A .如果A+B=A+C，则B=C

B .如果AB=AC，则B=C

C .如果A·A=1，则A=1

D .如果A+A=A，则A=1