Bool cebirindeki "1+1=1" eşitliği hangi aksiyomdan kaynaklanır?

1+1=1, Boolean cebirinde toplama için kullanılan idempotent aksiyomdan (x+x=x) türetilir.