Professional Documents
Culture Documents
Preinforme #4
Simplificacin
Algebraica e
Implementacin de
Circuitos Lgicos
Estudiantes:
Grupo:
Carrera:
Docente:
Fecha:
Gestin II-2016
Simplificacin Algebraica e
Implementacin de Circuitos Lgicos
LEYES Y TEOREMAS BSICOS DEL LGEBRA DE BOOLE
Leyes fundamentales
El resultado de aplicar cualquiera de las tres operaciones definidas a variables del
sistema booleano resulta en otra variable del sistema, y este resultado es nico.
Ley de idempotencia: A + A = A y A A = A
Ley de involucin: (A')' = A
Ley conmutativa: A + B = B + A y A B = B A
Ley asociativa: A + (B + C) = (A + B) + C y A (B C) = (A B) C
Ley distributiva: A + B C = (A + B) (A + C) y A (B + C) = A B + A C
Ley de absorcin: A + A B = A y A (A + B) = A
Ley de De Morgan: (A + B)' = A' B' y (A B)' = A' + B'
Principio de dualidad
El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica
le corresponder su dual, formada mediante el intercambio de los operadores
unin con los de interseccin, y de los 1 con los 0.
Adicin
Producto
A + A' = 1
A A' = 0
A+0=A
A1=A
A+1=1
A0=0
A+ A= A
AA=A
A+B=B+A
AB=BA
A + (B + C) = (A + B) + C
A (B C) = (A B) C
A + B C = (A + B) (A + C)
A (B + C) = A B + A C
A+ A B = A
A (A + B) = A
Teorema de Morgan
Suma booleana
La representacin matemtica de una suma booleana de dos variables se hace
por medio un signo ms entre las dos variables. Esta operacin se asimila a la
conexin paralela de contactos.
La tabla de verdad de la suma se muestra en la tabla 2.1.2.
P3
0
P2
0
P1
0
P0
0
X
1
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
0
1
1
1
0
1
0
0
0