SlideShare uma empresa Scribd logo
1 de 22
Baixar para ler offline
ALGEBRA DE BOOLE
“El álgebra booleana, como cualquier otro sistema matemático
deductivo, puede definirse con un conjunto de elementos, un conjunto
de operadores y un número de axiomas no probados o postulados. En
1854 George Boole presentó un tratamiento sistemático de la lógica, y
desarrolló para este propósito un sistema algebraico que ahora se
conoce como álgebra booleana. En 1938 C. E. Shannon introdujo un
álgebra booleana de dos valores denominada álgebra de interruptores,
en la cual demostró que las propiedades de los circuitos eléctricos y
estables con interruptores, pueden representarse con esta álgebra. Para
la definición formal del álgebra booleana, se emplean los postulados
formulados por E. V. Hungtington en 1904. Estos postulados o axiomas
no son únicos para definir el álgebra booleana. Se han usado otros
conjuntos de postulados.” [6]
El álgebra booleana es una estructura algebraica definida en un
conjunto de elementos B junto con dos operadores binarios + y 
siempre y cuando se cumpla con 6 postulados de Huntington
Postulados de Huntington

1
a) B es un conjunto cerrado respecto al operador +
b) B es un conjunto cerrado respecto al operador 
Un conjunto B esta cerrado respecto a un operador binario si, para
cada par de elementos de B, el operador binario especifica una regla
para obtener un número único de B. Por lo tanto:
x, y  B

1(a) x + y  B

1(b) x  y  B
Postulados de Huntington

2
a) Existe un elemento identidad en el conjunto B para el operador +
b) Existe un elemento identidad en el conjunto B para el operador 
Un conjunto B tiene un elemento identidad respecto a una operación
binaria * en B si existe un elemento Z  B con la propiedad: Z * x = x *
Z = x para cualquier x  B. Por lo tanto en el álgebra boolena los
elementos identidad son: 0 para la operación + y 1 para la operación 
x, Z  B

2(a) x + Z = Z + x = x

2(b) x  Z = Z  x = x
Postulados de Huntington

3
a) B es un conjunto conmutativo respecto al operador +
b) B es un conjunto conmutativo respecto al operador 
Un operador binario * en un conjunto B se dice que es conmutativo
siempre que: x * y = y * x para x, y  B. Por lo tanto:
x, y  B

3(a) x + y = y + x

3(b) x  y = y  x
Postulados de Huntington

4
a)  es distributivo sobre +
b) + es distributivo sobre a 
Si * y  son dos operadores binarios en un conjunto B , se dice que * es
distributivo sobre  siempre que: x*(y  z) = (x * y)  (x * z). Por lo tanto:
x, y, z  B
4(a) x  (y + z) = (x  y) + (x  z)
4(b) x + (y  z) = (x + y)  (x + z)
Postulados de Huntington

5
Para cada elemento x  B, existe un elemento x’  B (llamado
complemento de x) tal que:
a) x + x’ = 1
b) x  x’ = 0
Postulados de Huntington

6
Existen al menos 2 elementos x, y  B tales que x z y.
B = {0,1]
Postulados de Huntington
El álgebra booleana se parece en algunos
aspectos al álgebra ordinaria. Sin embargo, se
debe tener cuidado de no sustituir las reglas del
álgebra boleana por las reglas de el álgebra
tradicional cuando no son aplicables.
Teoremas del Álgebra de Boole

1a

x+x=x

Deducción:
x + x = (x + x)  1
= (x + x)  (x + x’)
= x + (x  x’)
=x+0
=x

por el postulado 2(b) de Huntington
5(a)
4(b)
5(b)
2(a)
Teoremas del Álgebra de Boole

1b

xx=x

Deducción:
xx
= (x  x) + 0
= (x  x) + (x  x’)
= x  (x + x’)
=x1
=x

por el postulado 2(a) de Huntington
5(b)
4(a)
5(a)
2(b)
Teoremas del Álgebra de Boole

2a

x+1=1

Deducción:
x + 1 = 1  (x + 1)
= (x + x’)  (x + 1)
= x + (x’  1)
= x + x’
=1

por el postulado 2(b) de Huntington
5(a)
4(b)
2(b)
5(a)
Teoremas del Álgebra de Boole

2b

x0=0

Deducción:
x  0 = 0 + (x  0)
= (x  x’) + (x  0)
= x  (x’ + 0)
= x  x’
=0

por el postulado 2(a) de Huntington
5(b)
4(a)
2(a)
5(b)
Teoremas del Álgebra de Boole

3

(x’)’=x

Deducción:
Si x = 1
x' 0 por el postulado 5
=
5(a) x + x’ = 1
o
1+0=1
5(b) x  x’ = 0
o
10=0
Entonces el complemento de 0 es 1 por lo tanto:
x' 0 o
=
(x’)’ = 1 = x
Teoremas del Álgebra de Boole

4a

x + (x  y) = x

Deducción:
x+xy=x1+xy=x
= x  (1 + y)
= x  (y + 1)
=x1
=x

por el postulado 2(b) de Huntington
4(a)
3(a)
2(a)
2(b)
Teoremas del Álgebra de Boole

4b

x  ( x + y) = x

Deducción:
x  ( x + y) = (x + 0)  ( x + y)
= x + (0  y)
= x + (y  0)
=x+0
=x

por el postulado 2(a) de Huntington
4(b)
3(b)
2(b)
2(a)
Teoremas del Álgebra de Boole
Otros teoremas válidos para la álgebra boleana:
5. Teorema asociativo.
x + (y + z) = (x + y) + z
x  (y  z)= (x  y)  z
6. Teorema de Morgan
(x + y)’ = x’  y’
(x  y)’ = x’ + y’
7. Teorema de Adyacencia Lógica
x  y + x  y’ = x
(x + y)  (x + y’) = x
Funciones Booleanas
Una función booleana es una expresión formada
por variables binarias, los operadores OR, AND,
NOT y el signo de igual. También puede estar
presente el paréntesis y el símbolo de negación.
Funciones Booleanas
La Operación OR se define así:
z0 + 0 = 0
z0 + 1 = 1
z1 + 0 = 1
z1 + 1 = 1
Funciones Booleanas
La función AND se define de la siguiente manera:
z0  0 = 0
z0  1 = 0
z1  0 = 0
z1  1 = 1
Funciones Booleanas
La función NOT (negación) se define como se
muestra a continuación:
z 0’ = 1
z 1’ = 0
Funciones Booleanas
Un ejemplo de función boleana seria:
S = x  y’ + z
Para conocer el valor de S para diferentes valores
de las variables x, y, z se genera la tabla de
verdad de la función.
Funciones Booleanas
x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

y’
1
1
0
0
1
1
0
0

x  y’
0
0
0
0
1
1
0
0

Tabla de verdad de la función S = x  y’ + z

S
0
1
0
1
1
1
0
1

Mais conteúdo relacionado

Mais procurados

Pl (construcción algebraica y hoja de cálculo)
Pl (construcción algebraica y hoja de cálculo)Pl (construcción algebraica y hoja de cálculo)
Pl (construcción algebraica y hoja de cálculo)deweey
 
Latches y flip flops
Latches y flip flopsLatches y flip flops
Latches y flip flopsJimmy Osores
 
MAQUINA DE INDUCCION TRIFASICA
MAQUINA DE INDUCCION TRIFASICA MAQUINA DE INDUCCION TRIFASICA
MAQUINA DE INDUCCION TRIFASICA christian alvarado
 
Compuertas Logicas
Compuertas LogicasCompuertas Logicas
Compuertas LogicasDavid
 
El transistor como interruptor y amplificador
El transistor como interruptor y amplificadorEl transistor como interruptor y amplificador
El transistor como interruptor y amplificadorSebastian Hermosilla
 
Display de-7-elementos-protoboard
Display de-7-elementos-protoboardDisplay de-7-elementos-protoboard
Display de-7-elementos-protoboardMarcelo Vargas
 
Simplificacion+diagramas
Simplificacion+diagramasSimplificacion+diagramas
Simplificacion+diagramasUNEFA
 
Mapas de karnaugh
Mapas de karnaughMapas de karnaugh
Mapas de karnaughnaraku20
 
Teoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleTeoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleElizabeth Gomez Madrigal
 
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...Jomicast
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleEmi Fernandez
 

Mais procurados (20)

Pl (construcción algebraica y hoja de cálculo)
Pl (construcción algebraica y hoja de cálculo)Pl (construcción algebraica y hoja de cálculo)
Pl (construcción algebraica y hoja de cálculo)
 
Latches y flip flops
Latches y flip flopsLatches y flip flops
Latches y flip flops
 
Pilas y colas
Pilas y colasPilas y colas
Pilas y colas
 
Unidad aritmetico logica ALU
Unidad aritmetico logica ALUUnidad aritmetico logica ALU
Unidad aritmetico logica ALU
 
MAQUINA DE INDUCCION TRIFASICA
MAQUINA DE INDUCCION TRIFASICA MAQUINA DE INDUCCION TRIFASICA
MAQUINA DE INDUCCION TRIFASICA
 
Compuertas Logicas
Compuertas LogicasCompuertas Logicas
Compuertas Logicas
 
El transistor como interruptor y amplificador
El transistor como interruptor y amplificadorEl transistor como interruptor y amplificador
El transistor como interruptor y amplificador
 
Mapas de karnaugh
Mapas de karnaughMapas de karnaugh
Mapas de karnaugh
 
RELOJ DIGITAL TTL 24 horas
RELOJ DIGITAL TTL 24 horas RELOJ DIGITAL TTL 24 horas
RELOJ DIGITAL TTL 24 horas
 
Display de-7-elementos-protoboard
Display de-7-elementos-protoboardDisplay de-7-elementos-protoboard
Display de-7-elementos-protoboard
 
Simplificacion+diagramas
Simplificacion+diagramasSimplificacion+diagramas
Simplificacion+diagramas
 
Mapas de karnaugh
Mapas de karnaughMapas de karnaugh
Mapas de karnaugh
 
Teoremas y postulados del algebra de boole
Teoremas y postulados del algebra de booleTeoremas y postulados del algebra de boole
Teoremas y postulados del algebra de boole
 
Registros de desplazamiento
Registros de desplazamientoRegistros de desplazamiento
Registros de desplazamiento
 
Circuitos secuenciales
Circuitos secuencialesCircuitos secuenciales
Circuitos secuenciales
 
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...
Circuitos secuenciales: Contadores, Registros de Desplazamiento y Circuito de...
 
Teoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de BooleTeoremas Fundamentales Algebra de Boole
Teoremas Fundamentales Algebra de Boole
 
8 2 convertidor-analogico_-digital
8 2 convertidor-analogico_-digital8 2 convertidor-analogico_-digital
8 2 convertidor-analogico_-digital
 
Programación PIC16F84A
Programación PIC16F84AProgramación PIC16F84A
Programación PIC16F84A
 
Registro de banderas y alu
Registro de banderas y aluRegistro de banderas y alu
Registro de banderas y alu
 

Destaque

Propiedades de los numeros reales
Propiedades de los numeros realesPropiedades de los numeros reales
Propiedades de los numeros realesmiguel ignacio
 
Presentación conjuntos numericoss
Presentación conjuntos numericossPresentación conjuntos numericoss
Presentación conjuntos numericossHugo Echeverry
 
El proceso de razonamiento según la logica
El proceso de razonamiento según la logicaEl proceso de razonamiento según la logica
El proceso de razonamiento según la logicaReyes Manzur
 
Leyes y propiedades fundamentales de los numeros reales
Leyes y propiedades fundamentales de los numeros realesLeyes y propiedades fundamentales de los numeros reales
Leyes y propiedades fundamentales de los numeros realesesthergama
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 
Conjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesConjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesblancavallejo
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdadguest805c35
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números realesoscartl
 
Tema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesTema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesPomales CeL
 

Destaque (11)

Demostraciones matematicas
Demostraciones matematicasDemostraciones matematicas
Demostraciones matematicas
 
Propiedades de los numeros reales
Propiedades de los numeros realesPropiedades de los numeros reales
Propiedades de los numeros reales
 
Presentación conjuntos numericoss
Presentación conjuntos numericossPresentación conjuntos numericoss
Presentación conjuntos numericoss
 
El proceso de razonamiento según la logica
El proceso de razonamiento según la logicaEl proceso de razonamiento según la logica
El proceso de razonamiento según la logica
 
Leyes y propiedades fundamentales de los numeros reales
Leyes y propiedades fundamentales de los numeros realesLeyes y propiedades fundamentales de los numeros reales
Leyes y propiedades fundamentales de los numeros reales
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
Conjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesConjuntos numéricos y propiedades
Conjuntos numéricos y propiedades
 
Propiedades De Los NúMeros Reales
Propiedades De Los NúMeros RealesPropiedades De Los NúMeros Reales
Propiedades De Los NúMeros Reales
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números reales
 
Tema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesTema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números Reales
 

Semelhante a Álgebra Booleana Fundamentos

Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematicapinedaquintero
 
Álgebra de Boole.ppt
Álgebra de Boole.pptÁlgebra de Boole.ppt
Álgebra de Boole.pptPekkerMeyerRF
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnologíaBrayer Yepez
 
Á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 De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boolejvlarrosa
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanajesusmora18
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de booleyaise
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de booleBetzi Lira
 
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
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.raymel-2411
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanabrayer1
 

Semelhante a Álgebra Booleana Fundamentos (20)

Presentación logica matematica
Presentación   logica matematicaPresentación   logica matematica
Presentación logica matematica
 
Álgebra de Boole.ppt
Álgebra de Boole.pptÁlgebra de Boole.ppt
Álgebra de Boole.ppt
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Algebra boole
Algebra booleAlgebra boole
Algebra boole
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
 
Á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 De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boole
 
[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole[Maths] 6.3.1 algebras de boole
[Maths] 6.3.1 algebras de boole
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
 
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 ...
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra Booleana
Algebra Booleana Algebra Booleana
Algebra Booleana
 
Darwing leon
Darwing leonDarwing leon
Darwing leon
 
Ap circuitos
Ap circuitosAp circuitos
Ap circuitos
 

Álgebra Booleana Fundamentos

  • 1. ALGEBRA DE BOOLE “El álgebra booleana, como cualquier otro sistema matemático deductivo, puede definirse con un conjunto de elementos, un conjunto de operadores y un número de axiomas no probados o postulados. En 1854 George Boole presentó un tratamiento sistemático de la lógica, y desarrolló para este propósito un sistema algebraico que ahora se conoce como álgebra booleana. En 1938 C. E. Shannon introdujo un álgebra booleana de dos valores denominada álgebra de interruptores, en la cual demostró que las propiedades de los circuitos eléctricos y estables con interruptores, pueden representarse con esta álgebra. Para la definición formal del álgebra booleana, se emplean los postulados formulados por E. V. Hungtington en 1904. Estos postulados o axiomas no son únicos para definir el álgebra booleana. Se han usado otros conjuntos de postulados.” [6] El álgebra booleana es una estructura algebraica definida en un conjunto de elementos B junto con dos operadores binarios + y  siempre y cuando se cumpla con 6 postulados de Huntington
  • 2. Postulados de Huntington 1 a) B es un conjunto cerrado respecto al operador + b) B es un conjunto cerrado respecto al operador  Un conjunto B esta cerrado respecto a un operador binario si, para cada par de elementos de B, el operador binario especifica una regla para obtener un número único de B. Por lo tanto: x, y  B 1(a) x + y  B 1(b) x  y  B
  • 3. Postulados de Huntington 2 a) Existe un elemento identidad en el conjunto B para el operador + b) Existe un elemento identidad en el conjunto B para el operador  Un conjunto B tiene un elemento identidad respecto a una operación binaria * en B si existe un elemento Z  B con la propiedad: Z * x = x * Z = x para cualquier x  B. Por lo tanto en el álgebra boolena los elementos identidad son: 0 para la operación + y 1 para la operación  x, Z  B 2(a) x + Z = Z + x = x 2(b) x  Z = Z  x = x
  • 4. Postulados de Huntington 3 a) B es un conjunto conmutativo respecto al operador + b) B es un conjunto conmutativo respecto al operador  Un operador binario * en un conjunto B se dice que es conmutativo siempre que: x * y = y * x para x, y  B. Por lo tanto: x, y  B 3(a) x + y = y + x 3(b) x  y = y  x
  • 5. Postulados de Huntington 4 a)  es distributivo sobre + b) + es distributivo sobre a  Si * y  son dos operadores binarios en un conjunto B , se dice que * es distributivo sobre  siempre que: x*(y  z) = (x * y)  (x * z). Por lo tanto: x, y, z  B 4(a) x  (y + z) = (x  y) + (x  z) 4(b) x + (y  z) = (x + y)  (x + z)
  • 6. Postulados de Huntington 5 Para cada elemento x  B, existe un elemento x’  B (llamado complemento de x) tal que: a) x + x’ = 1 b) x  x’ = 0
  • 7. Postulados de Huntington 6 Existen al menos 2 elementos x, y  B tales que x z y. B = {0,1]
  • 8. Postulados de Huntington El álgebra booleana se parece en algunos aspectos al álgebra ordinaria. Sin embargo, se debe tener cuidado de no sustituir las reglas del álgebra boleana por las reglas de el álgebra tradicional cuando no son aplicables.
  • 9. Teoremas del Álgebra de Boole 1a x+x=x Deducción: x + x = (x + x)  1 = (x + x)  (x + x’) = x + (x  x’) =x+0 =x por el postulado 2(b) de Huntington 5(a) 4(b) 5(b) 2(a)
  • 10. Teoremas del Álgebra de Boole 1b xx=x Deducción: xx = (x  x) + 0 = (x  x) + (x  x’) = x  (x + x’) =x1 =x por el postulado 2(a) de Huntington 5(b) 4(a) 5(a) 2(b)
  • 11. Teoremas del Álgebra de Boole 2a x+1=1 Deducción: x + 1 = 1  (x + 1) = (x + x’)  (x + 1) = x + (x’  1) = x + x’ =1 por el postulado 2(b) de Huntington 5(a) 4(b) 2(b) 5(a)
  • 12. Teoremas del Álgebra de Boole 2b x0=0 Deducción: x  0 = 0 + (x  0) = (x  x’) + (x  0) = x  (x’ + 0) = x  x’ =0 por el postulado 2(a) de Huntington 5(b) 4(a) 2(a) 5(b)
  • 13. Teoremas del Álgebra de Boole 3 (x’)’=x Deducción: Si x = 1 x' 0 por el postulado 5 = 5(a) x + x’ = 1 o 1+0=1 5(b) x  x’ = 0 o 10=0 Entonces el complemento de 0 es 1 por lo tanto: x' 0 o = (x’)’ = 1 = x
  • 14. Teoremas del Álgebra de Boole 4a x + (x  y) = x Deducción: x+xy=x1+xy=x = x  (1 + y) = x  (y + 1) =x1 =x por el postulado 2(b) de Huntington 4(a) 3(a) 2(a) 2(b)
  • 15. Teoremas del Álgebra de Boole 4b x  ( x + y) = x Deducción: x  ( x + y) = (x + 0)  ( x + y) = x + (0  y) = x + (y  0) =x+0 =x por el postulado 2(a) de Huntington 4(b) 3(b) 2(b) 2(a)
  • 16. Teoremas del Álgebra de Boole Otros teoremas válidos para la álgebra boleana: 5. Teorema asociativo. x + (y + z) = (x + y) + z x  (y  z)= (x  y)  z 6. Teorema de Morgan (x + y)’ = x’  y’ (x  y)’ = x’ + y’ 7. Teorema de Adyacencia Lógica x  y + x  y’ = x (x + y)  (x + y’) = x
  • 17. Funciones Booleanas Una función booleana es una expresión formada por variables binarias, los operadores OR, AND, NOT y el signo de igual. También puede estar presente el paréntesis y el símbolo de negación.
  • 18. Funciones Booleanas La Operación OR se define así: z0 + 0 = 0 z0 + 1 = 1 z1 + 0 = 1 z1 + 1 = 1
  • 19. Funciones Booleanas La función AND se define de la siguiente manera: z0  0 = 0 z0  1 = 0 z1  0 = 0 z1  1 = 1
  • 20. Funciones Booleanas La función NOT (negación) se define como se muestra a continuación: z 0’ = 1 z 1’ = 0
  • 21. Funciones Booleanas Un ejemplo de función boleana seria: S = x  y’ + z Para conocer el valor de S para diferentes valores de las variables x, y, z se genera la tabla de verdad de la función.
  • 22. Funciones Booleanas x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 y’ 1 1 0 0 1 1 0 0 x  y’ 0 0 0 0 1 1 0 0 Tabla de verdad de la función S = x  y’ + z S 0 1 0 1 1 1 0 1