SlideShare una empresa de Scribd logo
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

Más contenido relacionado

La actualidad más candente

Capacitancia en serie y paralelo
Capacitancia en serie y paraleloCapacitancia en serie y paralelo
Capacitancia en serie y paraleloFrancisco Zepeda
 
Demostracione mate
Demostracione mateDemostracione mate
Demostracione mate
marcialfonsecarojas
 
Algebra Booleana 2
Algebra Booleana 2Algebra Booleana 2
Algebra Booleana 2
Instituto Von Neumann
 
MARLON
MARLONMARLON
MARLON
gueste3970c1
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
Marcos Omar Cruz Ortrega
 
ALGEBRA DE BOOLE
ALGEBRA DE BOOLEALGEBRA DE BOOLE
ALGEBRA DE BOOLE
PEDROASTURES21
 
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
 
Transformada de laplace de segunda derivada
Transformada de laplace de segunda derivadaTransformada de laplace de segunda derivada
Transformada de laplace de segunda derivada
Donaldo Sanchez Zamarron
 
diagramas de bloques
 diagramas de bloques diagramas de bloques
diagramas de bloques
Rodolfo Celin Polo
 
Algebra booleana y fcc, fcd
Algebra booleana y fcc, fcdAlgebra booleana y fcc, fcd
Algebra booleana y fcc, fcd
Rosana villalba
 
Algebra de Boole
Algebra de Boole  Algebra de Boole
Algebra de Boole
Luis Gonzalez
 
Matemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de ConjuntosMatemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de Conjuntos
Leonardo Gabriel Hernandez Landa
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
251089luis
 
Conjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IConjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas I
YormanP
 
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATORPLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
Fernando Marcos Marcos
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleanagleismer
 

La actualidad más candente (20)

Capacitancia en serie y paralelo
Capacitancia en serie y paraleloCapacitancia en serie y paralelo
Capacitancia en serie y paralelo
 
Demostracione mate
Demostracione mateDemostracione mate
Demostracione mate
 
Algebra Booleana 2
Algebra Booleana 2Algebra Booleana 2
Algebra Booleana 2
 
Leyes Boole
Leyes BooleLeyes Boole
Leyes Boole
 
MARLON
MARLONMARLON
MARLON
 
Algebra Booleana
Algebra BooleanaAlgebra Booleana
Algebra Booleana
 
ALGEBRA DE BOOLE
ALGEBRA DE BOOLEALGEBRA DE BOOLE
ALGEBRA DE BOOLE
 
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
 
Transformada de laplace de segunda derivada
Transformada de laplace de segunda derivadaTransformada de laplace de segunda derivada
Transformada de laplace de segunda derivada
 
Restador completo
Restador completoRestador completo
Restador completo
 
diagramas de bloques
 diagramas de bloques diagramas de bloques
diagramas de bloques
 
Algebra booleana y fcc, fcd
Algebra booleana y fcc, fcdAlgebra booleana y fcc, fcd
Algebra booleana y fcc, fcd
 
Algebra de Boole
Algebra de Boole  Algebra de Boole
Algebra de Boole
 
Matemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de ConjuntosMatemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de Conjuntos
 
Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)Multiplexor 4 Entradas 1 Salida (4-1)
Multiplexor 4 Entradas 1 Salida (4-1)
 
Leyes Boole
Leyes BooleLeyes Boole
Leyes Boole
 
Conjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas IConjuntos Unidad III Estructuras Discretas I
Conjuntos Unidad III Estructuras Discretas I
 
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATORPLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
PLL (OSCILADOR POR CAMBIO DE FASE) - PHASE SHIFT OSCILLATOR
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
 
Mapas de karnaugh
Mapas de karnaughMapas de karnaugh
Mapas de karnaugh
 

Destacado

Demostraciones matematicas
Demostraciones matematicasDemostraciones matematicas
Demostraciones matematicas
Angela Janeth Jimenez
 
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 numericoss
Hugo 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 proposiciones
miguelperezfontenla
 
Conjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesConjuntos numéricos y propiedades
Conjuntos numéricos y propiedades
blancavallejo
 
Propiedades De Los NúMeros Reales
Propiedades De Los NúMeros RealesPropiedades De Los NúMeros Reales
Propiedades De Los NúMeros Reales
DENNIS RAUL MUCHA MONTOYA
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
guest805c35
 
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
oscartl
 
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
Pomales CeL
 

Destacado (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
 

Similar a 06 algebra booleana

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.ppt
PekkerMeyerRF
 
Algebra booleana
Algebra booleanaAlgebra booleana
Algebra booleana
Josue Castillo
 
Instituto universitario de tecnología
Instituto universitario de tecnologíaInstituto universitario de tecnología
Instituto universitario de tecnología
Brayer 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.pptx
DarkarBlack
 
Algebra De Boole
Algebra De BooleAlgebra De Boole
Algebra De Boolejvlarrosa
 
áLgebra booleana
áLgebra booleanaáLgebra booleana
áLgebra booleana
jesusmora18
 
[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
miguelperezfontenla
 
Algebra de boole
Algebra de booleAlgebra de boole
Algebra de boole
yaise
 
álgebra de boole
álgebra de booleálgebra de boole
álgebra de boole
Betzi 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
 
Algebra Booleana
Algebra Booleana Algebra Booleana
Algebra Booleana
Rosviannis Barreiro
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
dukefirula
 

Similar a 06 algebra booleana (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
 
[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
 
Algebra booleana circuitoslogicos
Algebra booleana circuitoslogicosAlgebra booleana circuitoslogicos
Algebra booleana circuitoslogicos
 

06 algebra booleana

  • 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