Általános tételek I.

A(A + B) = A

A + AB = A

E két tétel a műveletek disztributív tulajdonsága és a már felsorolt tételek segítségével a következőképpen bizonyítható:

A(A + B) = AA + AB = A(1 + B) =A

A + AB = (A + A) (A + B) = A(A + B) =A