Identidades básicas del Álgebra Booleana

Existen 17 diferentes identidades del álgebra booleana las cuales nos ayudan a simplificar las ecuaciones o diagramas booulenas.
9 de estas identidades muestran una relación entre una variable x, su complemento x inversa y las constantes binarias 0 y 1.
Cinco más son similares al álgebra ordinaria y otras tres son muy útiles para la manipulación de expresiones boouleanas.
Dentro de estas identidades tenemos dualidad, esto se obtiene simplemente intercambiando operaciones OR y AND, así como al remplazar unos por cero.
Las leyes conmutativas indican que el orden de las variables no afectan el resultado cuando se utilicen operaciones OR y AND.
Las leyes asociativas postulan que el resultado de formar una operación entre tres variables es independiente del orden que se siga por lo tanto pueden eliminarse sin exepción todos los paréntesis.
También se suele ocupar el Teorema de Morgan, el cual es muy importante ya que aplica operaciones para obtener el complemento de una expresión. El Teorema de Morgan se puede verificar por medio de la tabla de verdad que asignan todos los valores binarios posibles a x y y



Manipulación Algebráica

El álgerbra booulena es una herramienta útil para simplificar circuitos digitales, por ejemplo,

F = x^yz + x^yz^+ xz
F = x^y(z + z^) + xz
F = x^y . 1 + xz
F = x^y + xz