Algebraica deducible

A + A’ = 1

A • A’ = 0

PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad válida sin más que intercambiar (+) por (•) y 1 por 0.

CONSTANTE: cualquier elemento del conjunto B

VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya sea constante o fórmula completa.

TEOREMA 1: el elemento complemento A’ es único.

TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:

A+1 = 1

A•0 = 0

TEOREMA 3: cada elemento identidad es el complemento del otro.

0’=1

1’=0

TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:

A+A=A

A•A=A

TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica:

(A’)’ = A

TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:

A+A•B=A

A•(A+B)=A

TEOREMA 7: para cada par de elementos de B, se verifica:

A + A’•B = A + B

A • (A’ + B) = A • B

TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y (•) cumple la propiedad asociativa:

A+(B+C) = (A+B)+C

A•(B•C) = (A•B)•C

LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:

(A+B)’ = A’•B’

(A•B)’ = A’ + B’

REPRESENTACIÓN DE FUNCIONES LÓGICAS (I)

TABLA DE VERDAD

Tabla que representa el valor de la función para cada combinación de entrada. Si la función está definida para todas las combinaciones se llama completa, si no, se denomina incompleta. Para 4 variables:

X3 X2 X1 X0 F(X3,X2,X1,X0,)

(0) 0 0 0 0 F(0,0,0,0,)

(1) 0 0 0 1 F(0,0,0,1,)

(2) 0 0 1 0 F(0,0,1,0,)

(3) 0 0 1 1 F(0,0,1,1,)

(4) 0 1 0 0 F(0,1,0,0,)

(5) 0 1 0 1 F(0,1,0,1,)

(6) 0 1 1 0 F(0,1,1,0,)

(7) 0 1 1 1 F(0,1,1,1,)

(8) 1 0 0 0 F(1,0,0,0,)

(9) 1 0 0 1 F(1,0,0,1,)

(10) 1 0 1 0 F(1,0,1,0,)

(11) 1 0 1 1 F(1,0,1,1,)

(12) 1 1 0 0 F(1,1,0,0,)

(13) 1 1 0 1 F(1,1,0,1,)

(14) 1 1 1 0 F(1,1,1,0,)

(15) 1 1 1 1 F(1,1,1,1,)

Una Fórmulas de conmutación es la expresión de una función Lógica.

 Un LITERAL es una variable (A) o complemento de una variable (A’)

 Un TÉRMINO PRODUCTO es una operación AND de un número de literales.

 Una fórmula normal disyuntiva es una suma de términos productos.

 Un TÉRMINO SUMA es una operación OR de un número de literales.

 Una fórmula normal conjuntiva es un producto de términos sumas.

REPRESENTACIÓN DE FUNCIONES LÓGICAS (II)

FÓRMULA CANÓNICA DISYUNTIVA (SOP)

MINTÉRMINO (mi): término producto en el que aparecen todas las variables, ya sean complementadas o sin complementar.

FÓRMULA CANÓNICA DISYUNTIVA O DE MINTÉRMINOS: suma de mintérminos. (Suma de Productos).

Dada la lista completa de mintérminos y asignando 1’s y 0’s arbitrariamente a las variables, siempre hay un, y sólo un, mintérmino que toma el valor 1.

Un mintérmino es un término producto que es 1 exactamente en una línea de la tabla de Verdad.

La fórmula compuesta por todos los mintérminos será idénticamente 1.

Cada fórmula de conmutación puede expresarse como suma de mintérminos. Y esa fórmula es única.

NOTACIÓN: Un mintérmino se designa por

...