多项选择题

下列()式满足非门逻辑否定运算法则。

A.A+A=1
B.A·A=0
C.A+AB=A
D.A=A