Teoremas del Algebra de Boole

Las aplicaciones de la lgica digital implican las funciones de las operaciones Y,

0 y NO. Estas operaciones estn sujetas a las siguientes identidades.
ABC=(AB)C=A(BC), A+B+C=(A+B)+C=A+(B+C) AND, OR son asociativas.
AB=BA A+B=B+A AND y OR son operaciones conmutativas.
A+BC=(A+B)(A+C), A(B+C)=AB+AC formas de la propiedad distrubutiva