SlideShare uma empresa Scribd logo
1 de 5
UNIVERSIDAD TÉCNICA DE
AMBATO

ALGEBRA DE BOOLE
GARCÉS ROBERTO
ING. PAULO TORRES
ALGEBRA DE BOOLE

El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno
(falso y verdadero). Un operador binario " º " definido en éste juego de valores acepta un par de
entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos
entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aquí se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el álgebra booleana a
menudo emplea los siguientes postulados:
Cerrado. El sistema booleano se considera cerrado con respecto a un operador
binario si para cada par de valores booleanos se produce un solo resultado
booleano.
Conmutativo. Se dice que un operador binario " º " es conmutativo si A º B = B º A
para todos los posibles valores de A y B.
Asociativo. Se dice que un operador binario " º " es asociativo si (A º B) º C = A º (B º
C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " º " y " % " son distributivos si A º (B % C) = (A
º B) % (A º C) para todos los valores booleanos A, B, y C.
Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto
a un operador binario " º " si A º I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador
booleano " º " si A º I = B, y B es diferente de A, es decir, B es el valor opuesto de A.
Para nuestros propósitos basaremos el álgebra booleana en el siguiente juego de
operadores y valores:
Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a éstos valores respectivamente como falso y verdadero.
El símbolo · representa la operación lógica AND. Cuando se utilicen nombres de
variables de una sola letra se eliminará el símbolo ·, por lo tanto AB representa la
operación lógica AND entre las variables A y B, a esto también le llamamos el
producto entre A y B.
El símbolo "+" representa la operación lógica OR, decimos que A+B es la operación
lógica OR entre A y B, también llamada la suma de A y B.
El complemento lógico, negación ó NOT es un operador unitario, en éste texto
utilizaremos el símbolo " ' " para denotar la negación lógica, por ejemplo, A' denota
la operación lógica NOT de A.
Si varios operadores diferentes aparecen en una sola expresión booleana, el
resultado de la expresión depende de la procedencia de los operadores, la cual es
de mayor a menor, paréntesis, operador lógico NOT, operador lógico AND y
operador lógico OR. Tanto el operador lógico AND como el OR son asociativos por
la izquierda. Si dos operadores con la misma procedencia están adyacentes,
entonces se evalúan de izquierda a derecha. El operador lógico NOT es asociativo
por la derecha.
Utilizaremos además los siguientes postulados:
P1 El álgebra booleana es cerrada bajo las operaciones AND, OR y NOT
P2 El elemento de identidad con respecto a · es uno y con respecto a + es cero.
No existe elemento de identidad para el operador NOT
P3 Los operadores · y + son conmutativos.
P4 · y + son distributivos uno con respecto al otro, esto es, A· (B+C) = (A·B)+(A·C)
y A+ (B·C) = (A+B) ·(A+C).
P5 Para cada valor A existe un valor A' tal que A·A' = 0 y A+A' = 1. Éste valor es el
complemento lógico de A.
P6 · y + son ambos asociativos, ésto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).
Es posible probar todos los teoremas del álgebra booleana utilizando éstos postulados,
además es buena idea familiarizarse con algunos de los teoremas más importantes de los cuales
podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A · A = A
Teorema 3: A + 0 = A
Teorema 4: A · 1 = A
Teorema 5: A · 0 = 0
Teorema 6: A + 1 = 1
Teorema 7: (A + B)' = A' · B'
Teorema 8: (A · B)' = A' + B'
Teorema 9: A + A · B = A
Teorema 10: A · (A + B) = A
Teorema 11: A + A'B = A + B
Teorema 12: A' · (A + B') = A'B'
Teorema 13: AB + AB' = A
Teorema 14: (A' + B') · (A' + B) = A'
Teorema 15: A + A' = 1
Teorema 16: A · A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en honor al
matemático que los descubrió.
Características:
Un álgebra de Boole es un conjunto en el que destacan las siguientes características:
1. Se han definido dos funciones binarias (que necesitan dos parámetros) que
llamaremos aditiva (que representaremos por x + y) y multiplicativa (que
representaremos por xy) y una función monaria (de un solo parámetro) que
representaremos por x'.
2. Se han definido dos elementos (que designaremos por 0 y 1)
3. Tiene las siguientes propiedades:
Conmutativa respecto a la primera función: x + y = y + x
Conmutativa respecto a la segunda función: xy = yx
Asociativa respecto a la primera función: (x + y) + z = x + (y +z)
Asociativa respecto a la segunda función: (xy)z = x(yz)
Distributiva respecto a la primera función: (x +y)z = xz + yz
Distributiva respecto a la segunda función: (xy) + z = (x + z)( y + z)
Identidad respecto a la primera función: x + 0 = x
Identidad respecto a la segunda función: x1 = x
Complemento respecto a la primera función: x + x' = 1
Complemento respecto a la segunda función: xx' = 0
Propiedades Del Álgebra De Boole
Idempotente respecto a la primera función: x + x = x
Idempotente respecto a la segunda función: xx = x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involución: x'' = x
Inmersión respecto a la primera función: x + (xy) = x
Inmersión respecto a la segunda función: x(x + y) = x
Ley de Morgan respecto a la primera función: (x + y)' = x'y'
Ley de Morgan respecto a la segunda función: (xy)' = x' + y'
Función Booleana
Una función booleana es una de A x A x A x....A en A, siendo A un conjunto cuyos
elementos son 0 y 1 y tiene estructura de álgebra de Boole.
Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayoría. Cada uno puede
votar si o no. Representemos el voto de cada uno por xi. La función devolverá sí (1) cuando el
numero de votos afirmativos sea 3 y en caso contrario devolverá 0.
Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la función booleana devolverá 0.
Producto mínimo (es el número posible de casos) es un producto en el que aparecen todas
las variables o sus negaciones.
El número posible de casos es 2n.
Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los
posibles casos son:
Votos

Resultado

ABCD
1111

1

1110

1

1101

1

1100

0

1011

1

1010

0

1001

0

1000

0

0111

1

0110

0

0101

0

0100

0

0011

0

0010

0

0001

0

0000

0

Las funciones booleanas se pueden representar como la suma de productos mínimos
(minterms) iguales a 1.
En nuestro ejemplo la función booleana será:
f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD
Diagramas De Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas.
Se construye una tabla con las variables y sus valores posibles y se agrupan los 1
adyacentes, siempre que el número de 1 sea potencia de 2.
En esta página tienes un programa para minimización de funciones booleanas mediante
mapas de Karnaugh.

Mais conteúdo relacionado

Mais procurados (19)

Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Teorema booleanos
Teorema booleanosTeorema booleanos
Teorema booleanos
 
Álgebra Booleana.
Álgebra Booleana.Álgebra Booleana.
Álgebra Booleana.
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra Booleana
Algebra Booleana Algebra Booleana
Algebra Booleana
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Algebra booleana y circuitos lógicos
Algebra booleana y circuitos lógicosAlgebra booleana y circuitos lógicos
Algebra booleana y circuitos lógicos
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Funciones booleanas
Funciones booleanasFunciones booleanas
Funciones booleanas
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de Boole
Algebra de BooleAlgebra de Boole
Algebra de Boole
 
Leyes de álgebra boleana
Leyes de álgebra boleanaLeyes de álgebra boleana
Leyes de álgebra boleana
 

Destaque (17)

RMS - Rede de Mobilização Social: Guia do Mobilizador Social Voluntário
RMS - Rede de Mobilização Social: Guia do Mobilizador Social VoluntárioRMS - Rede de Mobilização Social: Guia do Mobilizador Social Voluntário
RMS - Rede de Mobilização Social: Guia do Mobilizador Social Voluntário
 
PP tablas periódicas
PP tablas periódicasPP tablas periódicas
PP tablas periódicas
 
Ser un estudiante
Ser un estudianteSer un estudiante
Ser un estudiante
 
Domotica
DomoticaDomotica
Domotica
 
Descobrindo a sua PAIXÃO
Descobrindo a sua PAIXÃODescobrindo a sua PAIXÃO
Descobrindo a sua PAIXÃO
 
Historia booleana
Historia booleanaHistoria booleana
Historia booleana
 
Aula teorica minicurso modelagem de proteinas por homologia
Aula teorica minicurso modelagem de proteinas por homologiaAula teorica minicurso modelagem de proteinas por homologia
Aula teorica minicurso modelagem de proteinas por homologia
 
Scrum - Hands On
Scrum - Hands OnScrum - Hands On
Scrum - Hands On
 
Presentacitipos de animalesón1
Presentacitipos de animalesón1Presentacitipos de animalesón1
Presentacitipos de animalesón1
 
la robotica Robotica
la robotica Roboticala robotica Robotica
la robotica Robotica
 
Orga oga
Orga ogaOrga oga
Orga oga
 
GPCU
GPCU GPCU
GPCU
 
El internet
El internetEl internet
El internet
 
Discurso de cierre del Acuerdo Definitivo de Paz
Discurso de cierre del Acuerdo Definitivo de PazDiscurso de cierre del Acuerdo Definitivo de Paz
Discurso de cierre del Acuerdo Definitivo de Paz
 
Uso y abuso de los antibióticos
Uso y abuso de los antibióticosUso y abuso de los antibióticos
Uso y abuso de los antibióticos
 
Principales problemas medioambientales que originan el uso de energía
Principales problemas medioambientales que originan el uso de energíaPrincipales problemas medioambientales que originan el uso de energía
Principales problemas medioambientales que originan el uso de energía
 
Apresentação
ApresentaçãoApresentação
Apresentação
 

Semelhante a Algebra boole

Teoremas Booleanos
Teoremas BooleanosTeoremas Booleanos
Teoremas BooleanosWendy Diaz
 
Algebra booleana 7%
Algebra booleana 7%Algebra booleana 7%
Algebra booleana 7%mayckoll17
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Betzi Lira
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de booleBetzi Lira
 
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptx
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptxÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptx
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptxDarkarBlack
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanaSheda17
 
Las álgebras booleanas
Las álgebras booleanasLas álgebras booleanas
Las álgebras booleanaszacky8
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanavitor_3679
 
Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematicapinedaquintero
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....AnaBarbaraAlaveFlore
 

Semelhante a Algebra boole (20)

Teoremas Booleanos
Teoremas BooleanosTeoremas Booleanos
Teoremas Booleanos
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
mi trabajo Algebra de boole
mi trabajo Algebra de boolemi trabajo Algebra de boole
mi trabajo Algebra de boole
 
Algebra booleana 7%
Algebra booleana 7%Algebra booleana 7%
Algebra booleana 7%
 
Algebra de boole johnny anderson chavarria alonzo
Algebra de boole   johnny anderson chavarria alonzoAlgebra de boole   johnny anderson chavarria alonzo
Algebra de boole johnny anderson chavarria alonzo
 
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
Taller Virtual Grupo 6. Cordinador. Lira Betzi... Algebra Boole y Compuertas ...
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
 
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptx
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptxÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptx
ÁLGEBRA DE BOOLE Y COMPUERTAS LÓGICAS.pptx
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Las álgebras booleanas
Las álgebras booleanasLas álgebras booleanas
Las álgebras booleanas
 
Algebra 2
Algebra 2Algebra 2
Algebra 2
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematica
 
Algebra
AlgebraAlgebra
Algebra
 
Ac reg clase2
Ac reg clase2Ac reg clase2
Ac reg clase2
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Tema3
Tema3Tema3
Tema3
 
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
CID400 - Algebra de Boole y Simplificacion de Funciones (Introduccion) - Rev....
 
Compuertas logicas
Compuertas logicasCompuertas logicas
Compuertas logicas
 

Último

EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveFagnerLisboa3
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanamcerpam
 
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfRefrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfvladimiroflores1
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxAlan779941
 
Desarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfDesarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfJulian Lamprea
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíassuserf18419
 
Presentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxPresentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxLolaBunny11
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan JosephBRAYANJOSEPHPEREZGOM
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITMaricarmen Sánchez Ruiz
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricKeyla Dolores Méndez
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estossgonzalezp1
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfAnnimoUno1
 
Presentación de elementos de afilado con esmeril
Presentación de elementos de afilado con esmerilPresentación de elementos de afilado con esmeril
Presentación de elementos de afilado con esmerilJuanGallardo438714
 
presentacion de PowerPoint de la fuente de poder.pptx
presentacion de PowerPoint de la fuente de poder.pptxpresentacion de PowerPoint de la fuente de poder.pptx
presentacion de PowerPoint de la fuente de poder.pptxlosdiosesmanzaneros
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxMiguelAtencio10
 

Último (15)

EPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial UninoveEPA-pdf resultado da prova presencial Uninove
EPA-pdf resultado da prova presencial Uninove
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfRefrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
Desarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdfDesarrollo Web Moderno con Svelte 2024.pdf
Desarrollo Web Moderno con Svelte 2024.pdf
 
Trabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnologíaTrabajo Mas Completo De Excel en clase tecnología
Trabajo Mas Completo De Excel en clase tecnología
 
Presentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptxPresentación guía sencilla en Microsoft Excel.pptx
Presentación guía sencilla en Microsoft Excel.pptx
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Joseph
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
 
Presentación de elementos de afilado con esmeril
Presentación de elementos de afilado con esmerilPresentación de elementos de afilado con esmeril
Presentación de elementos de afilado con esmeril
 
presentacion de PowerPoint de la fuente de poder.pptx
presentacion de PowerPoint de la fuente de poder.pptxpresentacion de PowerPoint de la fuente de poder.pptx
presentacion de PowerPoint de la fuente de poder.pptx
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
 

Algebra boole

  • 1. UNIVERSIDAD TÉCNICA DE AMBATO ALGEBRA DE BOOLE GARCÉS ROBERTO ING. PAULO TORRES
  • 2. ALGEBRA DE BOOLE El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario " º " definido en éste juego de valores acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana. Para cualquier sistema algebraico existen una serie de postulados iniciales, de aquí se pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el álgebra booleana a menudo emplea los siguientes postulados: Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario " º " es conmutativo si A º B = B º A para todos los posibles valores de A y B. Asociativo. Se dice que un operador binario " º " es asociativo si (A º B) º C = A º (B º C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios " º " y " % " son distributivos si A º (B % C) = (A º B) % (A º C) para todos los valores booleanos A, B, y C. Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario " º " si A º I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " º " si A º I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Para nuestros propósitos basaremos el álgebra booleana en el siguiente juego de operadores y valores: Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a éstos valores respectivamente como falso y verdadero. El símbolo · representa la operación lógica AND. Cuando se utilicen nombres de variables de una sola letra se eliminará el símbolo ·, por lo tanto AB representa la operación lógica AND entre las variables A y B, a esto también le llamamos el producto entre A y B. El símbolo "+" representa la operación lógica OR, decimos que A+B es la operación lógica OR entre A y B, también llamada la suma de A y B. El complemento lógico, negación ó NOT es un operador unitario, en éste texto utilizaremos el símbolo " ' " para denotar la negación lógica, por ejemplo, A' denota la operación lógica NOT de A. Si varios operadores diferentes aparecen en una sola expresión booleana, el resultado de la expresión depende de la procedencia de los operadores, la cual es de mayor a menor, paréntesis, operador lógico NOT, operador lógico AND y
  • 3. operador lógico OR. Tanto el operador lógico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia están adyacentes, entonces se evalúan de izquierda a derecha. El operador lógico NOT es asociativo por la derecha. Utilizaremos además los siguientes postulados: P1 El álgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2 El elemento de identidad con respecto a · es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3 Los operadores · y + son conmutativos. P4 · y + son distributivos uno con respecto al otro, esto es, A· (B+C) = (A·B)+(A·C) y A+ (B·C) = (A+B) ·(A+C). P5 Para cada valor A existe un valor A' tal que A·A' = 0 y A+A' = 1. Éste valor es el complemento lógico de A. P6 · y + son ambos asociativos, ésto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C). Es posible probar todos los teoremas del álgebra booleana utilizando éstos postulados, además es buena idea familiarizarse con algunos de los teoremas más importantes de los cuales podemos mencionar los siguientes: Teorema 1: A + A = A Teorema 2: A · A = A Teorema 3: A + 0 = A Teorema 4: A · 1 = A Teorema 5: A · 0 = 0 Teorema 6: A + 1 = 1 Teorema 7: (A + B)' = A' · B' Teorema 8: (A · B)' = A' + B' Teorema 9: A + A · B = A Teorema 10: A · (A + B) = A Teorema 11: A + A'B = A + B Teorema 12: A' · (A + B') = A'B' Teorema 13: AB + AB' = A Teorema 14: (A' + B') · (A' + B) = A' Teorema 15: A + A' = 1 Teorema 16: A · A' = 0 Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en honor al matemático que los descubrió. Características: Un álgebra de Boole es un conjunto en el que destacan las siguientes características:
  • 4. 1. Se han definido dos funciones binarias (que necesitan dos parámetros) que llamaremos aditiva (que representaremos por x + y) y multiplicativa (que representaremos por xy) y una función monaria (de un solo parámetro) que representaremos por x'. 2. Se han definido dos elementos (que designaremos por 0 y 1) 3. Tiene las siguientes propiedades: Conmutativa respecto a la primera función: x + y = y + x Conmutativa respecto a la segunda función: xy = yx Asociativa respecto a la primera función: (x + y) + z = x + (y +z) Asociativa respecto a la segunda función: (xy)z = x(yz) Distributiva respecto a la primera función: (x +y)z = xz + yz Distributiva respecto a la segunda función: (xy) + z = (x + z)( y + z) Identidad respecto a la primera función: x + 0 = x Identidad respecto a la segunda función: x1 = x Complemento respecto a la primera función: x + x' = 1 Complemento respecto a la segunda función: xx' = 0 Propiedades Del Álgebra De Boole Idempotente respecto a la primera función: x + x = x Idempotente respecto a la segunda función: xx = x Maximalidad del 1: x + 1 = 1 Minimalidad del 0: x0 = 0 Involución: x'' = x Inmersión respecto a la primera función: x + (xy) = x Inmersión respecto a la segunda función: x(x + y) = x Ley de Morgan respecto a la primera función: (x + y)' = x'y' Ley de Morgan respecto a la segunda función: (xy)' = x' + y' Función Booleana Una función booleana es una de A x A x A x....A en A, siendo A un conjunto cuyos elementos son 0 y 1 y tiene estructura de álgebra de Boole. Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayoría. Cada uno puede votar si o no. Representemos el voto de cada uno por xi. La función devolverá sí (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolverá 0. Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la función booleana devolverá 0. Producto mínimo (es el número posible de casos) es un producto en el que aparecen todas las variables o sus negaciones. El número posible de casos es 2n. Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los posibles casos son:
  • 5. Votos Resultado ABCD 1111 1 1110 1 1101 1 1100 0 1011 1 1010 0 1001 0 1000 0 0111 1 0110 0 0101 0 0100 0 0011 0 0010 0 0001 0 0000 0 Las funciones booleanas se pueden representar como la suma de productos mínimos (minterms) iguales a 1. En nuestro ejemplo la función booleana será: f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD Diagramas De Karnaugh Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas. Se construye una tabla con las variables y sus valores posibles y se agrupan los 1 adyacentes, siempre que el número de 1 sea potencia de 2. En esta página tienes un programa para minimización de funciones booleanas mediante mapas de Karnaugh.