Está en la página 1de 77

INTRODUCCIN

LGEBRA DE BOOLE

Sistemas Digitales

lgebra de Boole

Es una importante herramienta usada en el anlisis y diseo de circuitos lgicos El lgebra de conmutacin, tiene que ver con variables con dos valores posibles, El lgebra de conmutacin es un caso especial de un lgebra general de Boole En el lgebra de Boole que se estudiar, las constantes y variables booleanas slo pueden tener dos valores posibles: 0 o 1
Sistemas Digitales 2

lgebra de Boole

El 0 y 1 no representan nmeros, sino estados lgicos 0 lgico 1 lgico Falso Verdadero Desactivado Activado Bajo Alto No Si
Interruptor abierto Interruptor cerrado
Sistemas Digitales 3

lgebra de Boole

El lgebra de Boole permite analizar y disear funciones lgicas con circuitos lgicos digitales Una estructura matemtica como el lgebra de Boole, se puede definir a travs de un conjunto de axiomas y postulados. Por definicin, un axioma es una verdad acerca de las propiedades de la estructura

Sistemas Digitales

Definicin Axiomtica del lgebra de Conmutacin Booleana

Sea S={0.1} un conjunto con los elementos 0 y 1 y con dos operaciones binarias (. , +) y una operacin unitaria () definidas como: A B A.B A B A+B A A 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1

Sistemas Digitales

Definicin Axiomtica del lgebra de Conmutacin Booleana


La estructura {S, . , +, , 0, 1} es un lgebra booleana, llamada lgebra de conmutacin, que satisface ciertos axiomas para todos los elementos A, B y C en S.
Cualquier elemento A, B, C tiene valor 0 o 1

Sistemas Digitales

Axiomas del lgebra de Boole

Conjunto cerrado respecto a (.) y (+)


Axioma 1 Axioma 1d

A . B est en S A + B est en S

Existencia de Identidades

Axioma 2

Axioma 2d

Existe una identidad 0 para + tal que A+0=A Existe una identidad 1 para . tal que A. 1=A
Sistemas Digitales 7

Axiomas del lgebra de Boole

Leyes Conmutativas

Axioma 3 Axioma 3d

A+B = B+A A.B=B.A

Leyes Distributivas Axioma 4 A . (B+C) = A . B + A . C Axioma 4d A + (B . C) = (A+B) . (A+C)


Sistemas Digitales 8

Axiomas del lgebra de Boole

Existencia de un complemento

por cada elemento A que est en S, hay un complemento A que est en S tal que Axioma 5 A + A = 1 Axioma 5d A . A = 0

El dual (d) de una expresin se obtiene intercambiando (+) por (.) y 0 por 1

Sistemas Digitales

Teoremas del lgebra de Boole

Leyes de Idempotencia

Teorema 1 Teorema 1d

A + A =A A . A=A

Teoremas de DeMorgan

Teorema 2 Teorema 2d

(A + B) = A . B (A . B) = A + B
Sistemas Digitales 10

Teoremas del lgebra de Boole

Teorema del lmite


Teorema 3 Teorema 3d

A+1=1 A . 0=0

Leyes de Absorcin

Teorema 4 Teorema 4d

A + (A . B) = A A . (A +B) = A
Sistemas Digitales 11

Teoremas del lgebra de Boole

Leyes de Eliminacin

Teorema 5 Teorema 5d

A + (A . B) = A + B A . (A+B) = AB

Teoremas del complemento nico

Teorema 6 si A + X = 1 y A . X = 0, entonces X= A
Sistemas Digitales 12

Teoremas del lgebra de Boole

Teorema de Involucin

Teorema 7 Teorema 7d

(A) = A 0 = 1

Propiedades Asociativas Teorema 8 A + (B + C) = (A + B) + C Teorema 8d A . (B . C) = (A . B) . C

Sistemas Digitales

13

Teoremas del lgebra de Boole

Teoremas del consenso


Teorema 9 AB +AC + BC = AB + AC Teorema 9d


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

Sistemas Digitales

14

Sistemas Combinacionales
A B C N . . .

Sistema Combinacional

. . .

F1 F2 Fn

El estado de las salidas dependen slo del estado de las entradas

Sistemas Digitales

15

Sistemas Combinacionales

Una funcin lgica combinacional puede ser conceptualizada como un modelo lgico en la forma de Tablas de Verdad que especifica las salidas requeridas para cada combinacin de posibles entradas Una Tabla de Verdad define una nica funcin lgica combinacional F(A,B,C) que puede ser representada en las formas cannicas SOP (suma de productos) o POS (producto de sumas)
Sistemas Digitales 16

Sistemas Combinacionales

Tal expresin puede ser simplificada (reducida) a una expresin mnima lgicamente equivalente usando:

teoremas del lgebra de Boole mtodo de mapas de Karnaugh mtodo tabular de Quin-McCluskey

Sistemas Digitales

17

Ejemplos de tablas de verdad


A 0 0 1 1 A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 B 0 1 0 1 C 0 1 0 1 0 1 0 1 Z 1 0 1 0 Z 0 1 1 0 0 0 0 1

Tablas de Verdad

N= nmero de entradas Comb = nmero de combinaciones Comb= 2N

N=3 Comb=23=8

Sistemas Digitales

18

Formas Cannicas de Funciones de Conmutacin


Un literal denota una variable con o sin un x y x son dos literales que se refieren a la misma variable Trmino cannico de una funcin lgica se define como todo producto o suma en el que aparecen todas las variables en su forma directa o complementada

P.e. Una funcin de tres variables, abc y a+b+c son trminos cannicos
Sistemas Digitales 19

Formas Cannicas de Funciones de Conmutacin

Minterm o productos cannicos es un

producto de trminos cannicos Maxterm o suma cannica es una suma de trminos cannicos Funcin Cannica es una funcin formada exclusivamente por trminos de sumas cannicas o bien de productos cannicos. Si esta funcin tiene n variables, c/u de sus productos o sumas cannicas tendr n variables
Sistemas Digitales 20

Formas Cannicas de Funciones de Conmutacin

La relacin entre minterm y maxterm es

mi = Mi
i
0 1 2

y
x
0 0 1

mi = Mi
y
0 1 0
Minterm

(i=0, 1, 2, 3)
Maxterm
M0 = x+y M1 = x+y M2 = x+y

m0 = xy m1 = xy m2 = xy

m3 = xy

M3 = x+y
21

Sistemas Digitales

Formas Cannicas de Funciones de Conmutacin

Suma de Productos Cannica (SOP)

F(x,y,z,.....) =

(ak . mk ), donde ak =0 o 1

Producto de Sumas (POS)

F(x,y,z,.....) =

(bk + Mk ), donde bk =0 o 1

Sistemas Digitales

22

Formas Cannicas de Funciones de Conmutacin

Esto se puede expresar en forma tabular:


x 0 y 0 Minterm
m0 = xy

Maxterm
M0 = x+y

F
0

0
1 1

1
0 1

m1 = xy
m2 = xy m3 = xy

M1 = x+y
M2 = x+y M3 = x+y

1
1 0

Sistemas Digitales

23

Formas Cannicas de Funciones de Conmutacin

La expresin cannica SOP para F son los trminos suma de productos con una funcin con valor 1 F = m1+ m2 = xy + xy Esta expresin puede ser escrita en forma abreviada: F(x,y) = (1,2) = m1+ m2
Sistemas Digitales 24

Formas Cannicas de Funciones de Conmutacin

La expresin cannica POS para F son los trminos producto de sumas con una funcin con valor 0 F = M0 . M3 = (x + y) (x+ y) Esta expresin puede ser escrita en forma abreviada: (0,3) = M0 . M3 F(x,y) =
Sistemas Digitales 25

Funciones de Conmutacin Bsicas Funcin OR


Funcin OR: F = A + B Compuerta OR

Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin OR de sus entrada de acuerdo a la tabla de verdad siguiente: A B F=A+B A F = A+B B 0 0 0 0 1 1 Compuerta OR de 2 entradas 1 0 1 1 1 1
Sistemas Digitales 26

Funciones de Conmutacin Bsicas Funcin OR


A 0 0 0 0 1 1 1 1 B C 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 F=A+B+C 0 1 1 1 1 1 1 1

A B C

F = A+B+C

Compuerta OR de 3 entradas

Sistemas Digitales

27

Funciones de Conmutacin Bsicas Funcin OR

La operacin OR produce un resultado 1 cuando cualquiera de las variables de entrada es 1 La operacin OR genera un resultado 0 slo cuando todas las variables de entrada son 0 En la operacin OR, se cumple que
1+1=1 1 + 1+ 1 = 1

Sistemas Digitales

28

Funciones de Conmutacin Bsicas Funcin AND

Funcin AND: Compuerta AND

F=A.B

Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin AND de sus entrada de acuerdo a la tabla de verdad siguiente:
A B

A B F=A.B 0 0 0 0 1 0 1 0 0 1 1 1

F = A .B

Compuerta AND de 2 entradas

Sistemas Digitales

29

Funciones de Conmutacin Bsicas Funcin NOT


La operacin NOT se aplica a una sola variable de entrada y se conoce como negacin, inversin o complemento. Funcin NOT: F= A o A (A negado) Esta operacin indica lo opuesto al valor lgico de A
A F=A

A 0 1

F= A 1 0

Sistemas Digitales

30

Funciones de Conmutacin Bsicas Funcin NOR


Funcin NOR: F = (A + B) Compuerta NOR

Es un circuito digital con 2 o ms entradas y su salida responde a la funcin NOR de sus entrada de acuerdo a la tabla de verdad siguiente:

A B 0 0 0 1 1 0 1 1

F=(A+B) 1 0 0 0

A B

F = (A+B)

Compuerta NOR de 2 entradas

Sistemas Digitales

31

Funciones de Conmutacin Bsicas Funcin NOR

La operacin NOR produce un resultado 1 cuando todas las variables de entrada son 0 La operacin NOR genera un resultado 0 cuando cualquiera de las variables de entrada es 1 La operacin NOR combina las operaciones OR y NOT
Sistemas Digitales 32

Funciones de Conmutacin Bsicas Funcin NAND


Funcin NAND: Compuerta NAND

F = (A B)

Es un circuito digital con 2 o ms entradas y su salida responde a la funcin NAND de sus entrada de acuerdo a la tabla de verdad siguiente:

A B 0 0 0 1 1 0 1 1

F=(AB) B 1 Compuerta NAND de 2 entradas 1 1 0 Sistemas Digitales 33

F = (AB)

Funciones de Conmutacin Bsicas Funcin NAND

La operacin NAND produce un resultado 0 cuando todas las variables de entrada son 1 La operacin NAND genera un resultado 1 cuando cualquiera de las variables de entrada es 0 La operacin NAND operaciones AND y NOT
Sistemas Digitales

combina

las

34

Funciones de Conmutacin Bsicas Funcin OR Exclusivo


Funcin EXOR: Compuerta EXOR

F = A B

Es un circuito digital que tiene 2 o ms entradas y cuya salida responde a la funcin EXOR de sus entrada de acuerdo a la tabla de verdad siguiente:
A F=A B

A B F=A B B 0 0 0 Compuerta EXOR de 2 entradas 0 1 1 1 0 1 1 1 0 Sistemas Digitales 35

Funciones de Conmutacin Bsicas Funcin OR Exclusivo

La operacin EXOR produce un resultado 0 cuando las dos variables de entrada son iguales La operacin EXOR genera un resultado 1 cuando slo una de las variables de entrada es 1

Sistemas Digitales

36

Descripcin algebraica de circuitos lgicos

Cualquier circuito lgico puede describirse mediante las operaciones descritas A partir de algunas combinaciones de compuertas lgicas conectadas entre si es posible obtener una expresin algebraica que describe la operacin del sistema total

Sistemas Digitales

37

Descripcin algebraica de circuitos lgicos

Ejemplos:
A B C F = AB + C

A B C

F = (A+B) C

Sistemas Digitales

38

Evaluacin de las salidas de los circuitos lgicos

Obtenida la expresin booleana para la salida de un circuito, el nivel lgico de salida se puede determinar para cualquier combinacin de valores de entrada Si se hace para todas las combinaciones, entonces es posible obtener la tabla de verdad del sistema

Sistemas Digitales

39

Evaluacin de las salidas de los circuitos lgicos


A B

F = AB + C
C

1
2 3 4 5 6 7 8

0
0 0 0 1 1 1 1

0
0 1 1 0 0 1 1

0
1 0 1 0 1 0 1

0
1 0 1 0 1 1 1
40

Sistemas Digitales

Implementacin de circuitos a partir de una expresin booleana

Si la operacin de un circuito se define por medio de una expresin booleana, se puede hacer directamente un circuito lgico a partir de la expresin P.e. si se necesita un circuito definido por F= ABC, inmediatamente se sabe que se requiere una compuerta AND de tres entradas

Sistemas Digitales

41

Implementacin de circuitos a partir de una expresin booleana

Anlogamente F= A+B, se ve que se empleara una compuerta OR de 2 entradas con un inversor en la entrada B El razonamiento aplicado a estos casos aislados se puede aplicar a circuitos ms complejos
Sistemas Digitales 42

Implementacin de circuitos a partir de una expresin booleana


Sea la expresin F= AC+BC+ABC Se ve que hay 3 trminos (AC, BC y ABC) los cuales se operan todos con OR. Esto indica que se requiere una compuerta OR de 3 entradas iguales a los trminos mencionados
AC BC ABC F

Sistemas Digitales

43

Implementacin de circuitos a partir de una expresin booleana

A
B C

Pensando del mismo modo, se puede obtener el circuito para cada entrada El resultado es el siguiente
AC BC F

ABC

Sistemas Digitales

44

Ejemplo completo

Disear un sistema lgico que activar una alarma si una puerta o ventana es abierta durante hora no comercial Conceptualizacin: la activacin de la alarma F depende de 3 variables lgicas independientes Reloj (Clock) C

Puerta (Door) D

0 (horas comerciales) o 1 (horas no comerciales)

Ventana (Window)

0 (cerrada) o 1 (abierta)
0 (cerrada) o 1 (abierta)
Sistemas Digitales 45

Ejemplo completo
Tablas de verdad
Clock Door Window Alarma C 0 0 0 0 1 1 1 D 0 0 1 1 0 0 1 W 0 1 0 1 0 1 0 F 0 0 0 0 0 1 1

Comercial
Comercial Comercial Comercial No comercial No comercial No comercial No comercial

Cerrado
Cerrado Abierto Abierto Cerrado Cerrado Abierto Abierto

Cerrado
Abierto Cerrado Abierto Cerrado Abierto Cerrado Abierto

Off
Off Off Off Off On On On Sistemas Digitales

46

Ejemplo completo

Realizacin: obtencin de la expresin como Suma de Productos F = CDW + CDW + CDW

C F

D W

Sistemas Digitales

47

Ejemplo completo

Simplificacin
F = CDW + CDW + CDW F = CDW + CDW + CDW + CDW F = CDW + CDW + CDW + CDW F = CW(D +D) + CD(W + W) F = CW (1) + CD (1) F = CW + CD F = C (W +D)
C D W

Idempotencia Conmutatividad Distributividad A + A = 1 (axioma 5) A*1 =A (teorema 1) Distributividad


F

Sistemas Digitales

48

Universalidad de las compuertas NAND y NOR

Las compuertas NAND y tambin las NOR generan cualquier funcin A booleana (AA) = A
A A (A+A) = A

Sistemas Digitales

49

Universalidad de las compuertas NAND y NOR


A

A
B

B AB A

(AB)

AB

A B

(A+B) = AB

Sistemas Digitales

50

Universalidad de las compuertas NAND y NOR


A A B B A B (AB) = A+B

AB

A
B

(A+B)

((A+B)) = A+B

Sistemas Digitales

51

Mtodos para simplificar expresiones booleanas

Existen varias formas para lograr una simplificacin de una expresin booleana

Aplicacin de los Axiomas y Teoremas del lgebra de Boole

no se sabe con certeza si al final se ha obtenido una expresin mnima

Usar mtodo de Mapas de Karnaugh Usar mtodo tabulado de Quin-McCluskey

Sistemas Digitales

52

Simplificacin de expresiones booleanas; Mtodo de Karnaugh (2 variables)

Si se toma una tabla de verdad, sta puede expresarse como una suma de productos de aquellas variables de entradas que hacen que la salida sea 1
B 0 1 F 0 1

A 0 0

1
1

0
1

1
1

F=AB+AB+AB AB+ A(B+B) AB+ A F= AB+AB+AB+AB (AB+AB)+(AB+AB) B(A+A)+A(B+B) B+A


Sistemas Digitales 53

Simplificacin de expresiones booleanas; Mapas de Karnaugh (2 variables)


Esta expresin puede llevarse a una tabla o mapa del siguiente tipo Cada celda corresponde a cada una de las posibilidades que pueden generar las variables de entrada
A\B

0
1

0 0 2

1 1 3

Sistemas Digitales

54

Simplificacin de expresiones booleanas; Mapas de Karnaugh (2 variables)

Llevando el ejemplo a un mapa de Karnaugh


A\B 0 0 1 1 F(A,B)=

(1, 2, 3)

Las celdas que tiene un lado comn son lgicamente adyacentes Dos celdas adyacentes difieren en una sola variable
Sistemas Digitales 55

Simplificacin de expresiones booleanas; Mapas de Karnaugh (2 variables)

Esto hace posible aplicar en forma reiterada la propiedad de adyacencia AB+AB = A Esto se logra en un mapa de Karnaugh combinando lgicamente dos celdas adyacentes

Sistemas Digitales

56

Simplificacin de expresiones booleanas; Mapas de Karnaugh (2 variables)

Combinacin lgica de celdas AB+AB = B A\B 0 1 AB+AB=A 0 1


1 1 1

F=A+B
Sistemas Digitales 57

Mapas de Karnaugh de 3 variables

Combinacin lgica de celdas


A\BC 00 0 0 01 1 11 3 10 2

El ordenamiento es tal que siempre al cambiar de celda sta slo vara en una variable
Sistemas Digitales 58

Mapas de Karnaugh de 3 variables

Ejemplo: F(A,B,C)=
A\BC 00 0 1 01 1 1 1 11

10 1

(3,5,6,7)

F = BC + AC + AB
Sistemas Digitales 59

Mapas de Karnaugh de 4 variables

El mapa de Karnaugh ha sido construido tal que, las expresiones booleanas puedan ser simplificadas combinando celdas adyacentes conteniendo un 1 en un par de dos celdas Dos pares de 2 celdas pueden ser combinadas en un bloque de 4 celdas siempre que cada celda en un par sea lgicamente adyacente al otro par. En combinaciones repetidas, bloques de 4, 8,....2n-1 celdas puede ser combinadas en bloques, en el cual 2, 3, ......, n-1 variables son eliminadas
Sistemas Digitales 60

Mapas de Karnaugh de 4 variables

El mapa de Karnaugh para 4 variables tiene la siguiente estructura


AB\CD 00 00 0 01 4 12 8 01 1 5 13 9 11 3 7 15 11 10 2 6 14 10

11
10

Sistemas Digitales

61

Mapas de Karnaugh de 4 variables

Ejemplo: F(A,B,C,D)= ABCD + ABCD


AB\CD 00 01 11 00 01 1 11 1 10

10

F= ABD
Sistemas Digitales 62

Mapas de Karnaugh de 4 variables

Ejemplo: F(A,B,C,D)=
AB\CD 00 01 11 00 01 11

(6, 7, 14, 15)


P1= ABC P2= ABC

10

1
1

1
1

BC(A+A)

10
Las celdas 7 y 15 y la 6 y 14 son adyacentes, por lo tanto P1 y P2 son adyacentes y pueden combinarse F = BC
Sistemas Digitales 63

Mapas de Karnaugh de 4 variables, ejemplos de posibles combinaciones

Pares
01 1 11 10 AB\CD 00 00 1 01 1 11 01 1 11 10

AB\CD 00 00 1 01 11 10

1
1

1
1 1

10

Sistemas Digitales

64

Mapas de Karnaugh de 4 variables, ejemplos de posibles combinaciones

Cuartetos
00 01 11 10 AB\CD

AB\CD

00 1
01 11 10 1 1

1
1 1 1

1
1 1 1 1

00 01

11

10

00 1
01 11 10 1 1

1
1 1 1

1
1 1 1 1

Sistemas Digitales

65

Mapas de Karnaugh de 4 variables, ejemplos de posibles combinaciones

Octetos
AB\CD 00 1 1 1 1 01 1 1 1 1 1 1 1 1 11 10 1 00 1 01 11 10

Sistemas Digitales

66

Condiciones de Dont Care en mapas de Karnaugh

Lo marcado con X en la salida F corresponde a salidas que nunca ocurrirn debido a que las combinaciones de entradas correspondiente no pueden ocurrir. Esto se denomina dont care
A 0 0 1 1 B 0 1 0 1 F 1 X 0 1

Sistemas Digitales

67

Condiciones de Dont Care en mapas de Karnaugh

Los dont care pueden ser muy tiles al momento de reducir trminos Pueden ser considerados para realizar agrupaciones de celdas, lo cual resulta en una expresin con menos literales

Sistemas Digitales

68

Condiciones de Dont Care en mapas de Karnaugh


Con dont care: F= ABCD+BCD+BCD+AD Sin dont care: F = ABCD+ABCD+ABCD+ABCD


AB\CD 00 01 11 1 1 X X 1 X X X X 10

00 1 01

11
10

Sistemas Digitales

69

Minimizacin de funciones booleanas con mtodo tabulado Quin-McCluskey

Este mtodo tiene la ventaja que puede ser programado en un computador y puede aplicarse a n variables independientes. La complicacin del mtodo no aumenta cuando el nmero de variables se incrementa Este mtodo aplica sistemticamente los teoremas: A+A =A AB+ AB = A A + AB = A
Sistemas Digitales 70

Mtodo tabulado Quin-McCluskey; Procedimiento

A partir de la tabla de verdad de la funcin considerar los minterm cuya salida es F=1 P.e. F(A,B,C,D)= (1,4,6,7,8,9,10,11,15) Reordenar de acuerdo a la cantidad de 1s que contenga cada minterm

Sistemas Digitales

71

Mtodo tabulado Quin-McCluskey; Procedimiento


A 1 4 6 7 0 0 0 0 B 0 1 1 1 C 0 0 1 1 D 1 0 0 1

Un 1

1 4 8 6

0 0 1 0 1 0

0 1 0 1 0 0 1 0 1

0 0 0 1 0 1 1 1 1

1 0 0 0 1 0 1 1 1

8
9 10 11 15

1
1 1 1 1

0
0 0 0 1

0
0 1 1 1

0
1 0 1 1

Dos 1s Tres 1s

9 7

10 1 11 1

Cuatro 1s 15 1

Sistemas Digitales

72

Mtodo tabulado Quin-McCluskey; Procedimiento

Aplicar sistemticamente el teorema AB + AB = A


0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 (1,9) (4,6) (8,9) (8,10) (6,7) (9,11) (10,11) (7,15) (11,15) x 0 1 1 0 1 1 x 1 0 1 0 0 1 0 0 1 x 0 x 0 x 1 x 1 1 1 1 0 x 0 x 1 x 1 1 * * (8,9,10,11) 1 0 x x (8,10,9,11) 1 0 x x Se elima uno de estos por A+A=A

1 4 8 6 9 10 7 11 15

* *

Todos los trminos sin ( primos

) son los llamados implicantes

Sistemas Digitales

73

Mtodo tabulado Quin-McCluskey; Procedimiento

La suma de todos los implicantes primos, dar una expresin algebraica vlida para la funcin F Sin embargo, esta expresin no es necesariamente la que contiene el mnimo nmero de trminos Por lo tanto hay que seleccionar los implicantes esenciales Esta seleccin se hace a partir de una tabla de implicantes primos (IP)
Sistemas Digitales 74

Mtodo tabulado Quin-McCluskey; Procedimiento

En la tabla, cada IP se representa en una fila y cada trmino mnimo en una columna Se colocan X en cada fila para mostrar la composicin de los trminos mnimos que constituyen los IP Un mnimo grupo de IP se escoge de manera que abarque todos los trminos mnimos de la funcin
Sistemas Digitales 75

Mtodo tabulado Quin-McCluskey; Procedimiento


La tabla completa de IP se inspecciona para obtener columnas que contengan slo una X Aqu se ve que hay 4 trminos mnimos cuyas columnas tienen una sola X

1 4 X X X 6 7 8 9 10 11 15

B'C'D A'BD' A'BC BCD ACD AB'

(1,9) X (4,6) (6,7) (7,15) (11,15) (8,9,10,11)

X
X X

IPE IPE
X X IP

X X

IPE

Sistemas Digitales

76

Mtodo tabulado Quin-McCluskey; Procedimiento


Esto indica que estos trminos mnimos slo estn cubiertos por el IP a la izquierda y por tanto, este IP pasa a ser esencial (IPE) Un IPE no puede ser eliminado de la expresin de F
Sistemas Digitales 77