Elvin Gabriel de Jesús - Tarea VIII PDF
Elvin Gabriel de Jesús - Tarea VIII PDF
Elvin Gabriel de Jesús - Tarea VIII PDF
Participantes: Grupo I
Raúl Gómez Cabreja
2018-04540
Teorema de la Simplificación: A + A · B = A + B / A · (A + B) = A · B
Demostración
A·A=0
A·A+B=B
(A + B)·(A + B) = B
A·(A+B)·(A+B) = A · B
A · (A + B) = A · B
A + A1 = 1 / A + A2 = 1 / A · A1 = 0 / A · A2 = 0
Demostración
A1 = A1 · 1 = A1 · (A + A2) = A1 · A + A1 · A2
A1 = 0 + A2 · A1
A1 = A · A2 + A1 · A2 = (A + A1) · A2
A1 = 1 · A2 = A2
Conmutatividad:
X+Y=Y+X
X·Y=Y·X
Asociatividad
X + (Y + Z) = (X + Y ) + Z
X · (Y · Z) = (X · Y ) · Z
Distributividad
X + (Y · Z) = (X + Y ) · (X + Z)
X · (Y + Z) = (X · Y ) + (X · Z)
X+0=X
X·1=X
Complemento
X+X=1
X·X=0
Dominación
X+1=1X·0=0
Demostración
X + 1 = (X + 1) · 1 = (X + 1) · (X + X)
(X + 1) · (X + X) = X + (1 · X) = 1
Idempotencia
X+X=X
X·X=X
Doble complemento
𝑥̅̅ = x
Absorción
X+X·Y=X
X · (Y + X) = X
Demostración: X + X · Y = (X · 1) + (X · Y ) = X · (1 + Y ) = X
De Morgan
A·B=A+B
A+B=A·B
Es una función cuyo dominio son las palabras conformadas por los valores binarios 0 ó
1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
Una función booleana representa la relación entre la entrada y la salida de un circuito
lógico.
Expresión matemática que evalúa cuando una variable lógica toma el valor lógico
Verdadero en función de los valores (Verdadero o Falso) de otras variables lógicas
operados mediante las operaciones AND, OR y NOT.
Suma binaria
La suma binaria se puede realizar cómodamente siguiendo las tres reglas descritas:
Resta binaria
1. 0-0=0
2. 1–1=0
3. 1–0=1
4. 0 – 1 = 1 ( con acarreo negativo de 1)
Multiplicación binaria
1. 0x0=0
2. 0x1=0
3. 1x0=0
4. 1x1=1
División binaria
1. 0/0 no permitida
2. 1/0 no permitida
3. 0/1=0
4. 1/1=1
Conclusión