SlideShare ist ein Scribd-Unternehmen logo
1 von 22
Downloaden Sie, um offline zu lesen
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

Weitere ähnliche Inhalte

Was ist angesagt?

Práctica de flip flops
Práctica de flip flopsPráctica de flip flops
Práctica de flip flopskartorrealba
 
Ecuaciones homogeneas
Ecuaciones homogeneasEcuaciones homogeneas
Ecuaciones homogeneasKire_ceti
 
Multiplexores y demultiplexores en electrónica digital
Multiplexores y demultiplexores en electrónica digitalMultiplexores y demultiplexores en electrónica digital
Multiplexores y demultiplexores en electrónica digitalIsrael Magaña
 
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
 
Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)David Ruiz
 
Módulos algebra de matrices (1)
Módulos algebra de matrices (1)Módulos algebra de matrices (1)
Módulos algebra de matrices (1)Rudy Medina
 
Diapositiva de codificadores y decodificadores circuitos logicos1111111
Diapositiva de codificadores y decodificadores circuitos logicos1111111Diapositiva de codificadores y decodificadores circuitos logicos1111111
Diapositiva de codificadores y decodificadores circuitos logicos1111111Dianosky Sosa Piñango
 
AMPLIFICADOR CON BJT.pdf
AMPLIFICADOR CON BJT.pdfAMPLIFICADOR CON BJT.pdf
AMPLIFICADOR CON BJT.pdfjaxpk
 
Programacion en WinCupl
Programacion en WinCuplProgramacion en WinCupl
Programacion en WinCuplGilbert_28
 
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
 

Was ist angesagt? (20)

Problemariodigital3 bcd
Problemariodigital3 bcdProblemariodigital3 bcd
Problemariodigital3 bcd
 
Práctica de flip flops
Práctica de flip flopsPráctica de flip flops
Práctica de flip flops
 
Ecuaciones homogeneas
Ecuaciones homogeneasEcuaciones homogeneas
Ecuaciones homogeneas
 
Multiplexores y demultiplexores en electrónica digital
Multiplexores y demultiplexores en electrónica digitalMultiplexores y demultiplexores en electrónica digital
Multiplexores y demultiplexores en electrónica digital
 
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....
 
Practica Filtro pasa bajos
Practica Filtro pasa bajosPractica Filtro pasa bajos
Practica Filtro pasa bajos
 
Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)Unidad Arítmetica Lógica (ALU)
Unidad Arítmetica Lógica (ALU)
 
Módulos algebra de matrices (1)
Módulos algebra de matrices (1)Módulos algebra de matrices (1)
Módulos algebra de matrices (1)
 
1.3 errores (1)
1.3 errores (1)1.3 errores (1)
1.3 errores (1)
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Diapositiva de codificadores y decodificadores circuitos logicos1111111
Diapositiva de codificadores y decodificadores circuitos logicos1111111Diapositiva de codificadores y decodificadores circuitos logicos1111111
Diapositiva de codificadores y decodificadores circuitos logicos1111111
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
 
Electrónica digital: Comparadores
Electrónica digital: ComparadoresElectrónica digital: Comparadores
Electrónica digital: Comparadores
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
Algebra de bool
Algebra de boolAlgebra de bool
Algebra de bool
 
Propiedades del algebra de boole
Propiedades del algebra de boolePropiedades del algebra de boole
Propiedades del algebra de boole
 
AMPLIFICADOR CON BJT.pdf
AMPLIFICADOR CON BJT.pdfAMPLIFICADOR CON BJT.pdf
AMPLIFICADOR CON BJT.pdf
 
Programacion en WinCupl
Programacion en WinCuplProgramacion en WinCupl
Programacion en WinCupl
 
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...
 

Andere mochten auch

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
 

Andere mochten auch (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
 

Ähnlich wie Á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
 
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
 
Algebra booleana.
Algebra booleana.Algebra booleana.
Algebra booleana.raymel-2411
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleanabrayer1
 

Ähnlich wie Á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
 
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
 
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