9 de estas identidades muestran una relacion entre una variable x, su complemento x^ y las constante binarias 0 y 1. 5 mas son similares al algebra ordinaria y otrs 3 son muy utiles para la mamipulación de expresiones booleanas.
Dentro de estas identidades tenemos dualidad, esto se obtiene simplemente intercambiando operacion OR y AND, así como al reemplazar 1`s por 0`s.
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 operacion entre 3 variables es independiente del orden que se siga, por lo tanto pueden eliminarse sin excepcion todos los parentesis.
Tambien se suele ocupar el teorema de Morgan el cual es muy importante ya que aplica operaciones para obtener el complemento de una expresion. 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
El algebra booleana es una herramienta util para simplificar circuitos digitales por ejemplo:
F=x^yz+x^yz^+xz
No hay comentarios:
Publicar un comentario