Loading [MathJax]/jax/output/HTML-CSS/jax.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

2.1: Minterms

( \newcommand{\kernel}{\mathrm{null}\,}\)

Particiones y minterms

Para ver cómo surge naturalmente la partición fundamental, considera primero la partición del espacio básico producido por un solo eventoA.

Ω=AAc

Ahora siB es un segundo evento, entonces

A=ABABc

y

Ac=AcBAcBc

para que

Ω=AcBcAcBABcAB

El par se{A,B} haΩ dividido en{AcBc,AcB,ABc,AB}. La continuación es así que conduce sistemáticamente a una partición por tres eventos{A,B,C}, cuatro eventos{A,B,C,D}, etc.

Ilustramos los patrones fundamentales en el caso de cuatro eventos{A,B,C,D}. Formamos los minterms como intersecciones de miembros de la clase, con diversos patrones de complementación. Para una clase de cuatro eventos, existen24=16 tales patrones, de ahí 16 minterms. Estas son, en un arreglo sistemático,

AcBcCcDc AcBCcDc ABcCcDc ABCcDc
AcBcCcD AcBCcD ABcCcD ABCcD
AcBcCDc AcBCDc ABcCDc ABCDc
AcBcCD AcBCD ABcCD ABCD

Ningún elemento puede estar en más de un minterm, porque cada uno difiere de los demás por la complementación de al menos un evento miembro. Cada elementoω se asigna exactamente a uno de los minterms determinando las respuestas a cuatro preguntas:

¿Está enA? ¿Está enB? ¿Está enC? ¿Está enD?

Supongamos, por ejemplo, las respuestas son: Sí, No, No, Sí. Entonces ω está en el mintermABcCcD. De manera similar, podemos determinar la pertenencia de cada unoω en el espacio básico. Así, los minterms forman una partición. Es decir, los minterms representan eventos mutuamente excluyentes, uno de los cuales seguramente ocurrirá en cada juicio. La pertenencia a cualquier minterm depende de la pertenencia a cada grupo generadorA,B,C oD, y de las relaciones entre ellos. Para algunas clases, uno o más de los minterms están vacíos (eventos imposibles). Como vemos a continuación, esto no causa problemas.

Un examen del desarrollo anterior muestra que si comenzamos con una clase de n eventos, hay2n minterms. Para ayudar en el manejo sistemático, introducimos un sistema de numeración simple para los minterms, que ilustramos considerando nuevamente los cuatro eventosA,B,C,D, en ese orden. Las respuestas a las cuatro preguntas anteriores pueden ser representadas numéricamente por el esquema

No0 y Sí1

Así, siω está enAcBcCcDc, las respuestas se tabulan como 0 0 0 0 0. Siω está enABcCcD, entonces esto se designa 1 0 0 1. Con este esquema, el arreglo minterm anterior se convierte

0000 0 0100 4 1000 8 1100 12
0001 1 0101 5 1001 9 1101 13
0010 2 0110 6 1010 10 1110 14
0011 3 0111 7 1011 11 1111 15

Podemos ver estos cuatriples de ceros y unos como representaciones binarias de enteros, que también pueden estar representados por sus equivalentes decimales, como se muestra en la tabla. Frecuentemente, es útil referirse a los minterms por número. Si los miembros de la clase generadora son tratados en un orden fijo, entonces cada número minterm al que se llega de la manera anterior especifica un minterm de manera única. Así, para la clase generadora{A,B,C,D}, en ese orden, podemos designar

AcBcCcDc=M0(minterm 0)ABcCcD=M9 (minterm 9), etc.

Utilizamos este esquema de numeración en diagramas especiales de Venn llamados mapas minterm. Estos se ilustran en la Figura, para los casos de tres, cuatro y cinco eventos generadores. Dado que el contenido real de cualquier minterm depende de los conjuntosA,B,C, yD en la clase generadora, es costumbre referirse a estos conjuntos como variables. En el caso de tres variables, setA es la mitad derecha del diagrama y setC es la mitad inferior; pero el conjunto B está dividido, de manera que es la unión de la segunda y cuarta columnas. Divisiones similares ocurren en los otros casos.

OBSERVACIÓN. Otras disposiciones útiles de mapas minterm se emplean en el análisis de circuitos de conmutación.

2019-12-21 5.50.18.png
Tres variables
2019-12-21 5.51.19.png
Cuatro variables
2019-12-21 5.51.48.png
Cinco variables

Figura 2.1.1. Mapas minterm para tres, cuatro o cinco variables

Mapas minterm y la expansión minterm

La importancia de la partición minterm del espacio básico descansa en gran medida en el siguiente hecho.

Expansión Minterm

Cada combinación booleana de los elementos en una clase generadora puede expresarse como la unión disjunta de una subclase apropiada de los minterms. Esta representación se conoce como la expansión minterm para la combinación.

Al derivar una expresión para una combinación booleana dada que se mantiene para cualquier clase{A,B,C,D} de cuatro eventos, incluimos todos los minterms posibles, ya sean vacíos o no. Si un minterm está vacío para una clase dada, su presencia no modifica el contenido establecido o la asignación de probabilidad para la combinación booleana.

La existencia y singularidad de la expansión se hace plausible por ejemplos simples que utilizan mapas minterm para determinar gráficamente el contenido minterm de varias combinaciones booleanas. Usando el sistema de arreglo y numeración introducido anteriormente, dejamosMi representar eli th minterm (numeración desde cero) y dejamosp(i) representar la probabilidad de ese minterm. Cuando tratamos una unión de minterms en una expansión minterm, es conveniente utilizar la taquigrafía ilustrada a continuación.

M(1,3,7)=M1M3M7yp(1,3,7)=p(1)+p(3)+p(7)

2019-12-21 5.57.05.png
Figura 2.1.2. E=ABAc(BCc)c=M(1:6,7)Expansión a corto plazo para el Ejemplo 2.1.1

Considera el siguiente ejemplo sencillo.

Ejemplo2.1.1 Minterm expansion

SupongamosE=ABAc(BCc)c. El examen del mapa minterm en la Figura 2.1.2 muestra queAB consiste en la unión de mintermsM6,M7, que designamosM(6,7). La combinaciónBCc=M(0,2,3,4,6,7), para que su complemento(BCc)c=M(1,5). Esto deja la parte comónAc(BCc)c=M1, Por lo tanto,E=M(1,6,7). De igual manera,F=ABcC=M(1,4,5,6,7).

Una clave para establecer la expansión es señalar que cada minterm es un subconjunto de la combinación o es disjunta de ella. La expansión es así la unión de aquellos minterms incluidos en la combinación. En la última sección de este módulo se esboza una verificación general mediante funciones indicadoras.

Uso de mapas minterm

Un problema típico busca la probabilidad de ciertas combinaciones booleanas de una clase de eventos cuando se dan las probabilidades de varias otras combinaciones. Consideramos varios ejemplos simples e ilustramos el uso de mapas minterm en formulación y solución.

Ejemplo2.1.2 Survey on software

Los datos estadísticos se toman para cierta población estudiantil con computadoras personales. Se selecciona al azar a un individuo. Deje queA= el evento que la persona seleccionada tenga procesamiento de textos,B= el evento que tenga un programa de hoja de presentación yC= el evento que la persona tenga un programa de base de datos. Los datos implican

  • La probabilidad es 0.80 de que la persona tenga un programa de procesamiento de textos:P(A)=0.8
  • La probabilidad es 0.65 de que la persona tenga un programa de hoja de cálculo:P(B)=0.65
  • La probabilidad es 0.30 de que la persona tenga un programa de base de datos:P(C)=0.3
  • La probabilidad es 0.10 de que la persona tenga los tres:P(ABC)=0.1
  • La probabilidad es 0.05 de que la persona no tenga procesamiento de textos ni pliego:P(AcBc=0.05
  • La probabilidad es 0.65 de que la persona tenga al menos dos:P(ABACBC)=0.65
  • La probabilidad de procesador de textos y base de datos, pero ninguna hoja de cálculo es el doble de probabilidad de hoja de cálculo y base de datos, pero no procesador de textos:P(ABcC)=2P(AcBC)

    a. ¿Cuál es la probabilidad de que la persona tenga exactamente dos de los programas?
    b. ¿Cuál es la probabilidad de que la persona tenga únicamente el programa base de datos?

Surgen varias preguntas:

  • ¿Estos datos son consistentes?
  • ¿Los datos son suficientes para responder a las preguntas?
  • ¿Cómo se pueden utilizar los datos para resolver las preguntas?

Solución

Los datos, expresados en términos de probabilidades minterm, son:

P(A)=p(4,5,6,7)=0.80; por lo tantoP(Ac)=p(0,1,2,3)=0.20

P(B)=p(2,3,6,7)=0.65; por lo tantoP(Bc)=p(0,1,4,5)=0.35

P(C)=p(1,3,5,7)=0.30; por lo tantoP(Cc)=p(0,2,4,6)=0.70

P(ABC)=p(7)=0.10P(AcBc)=p(0,1)=0.05

P(ABACBC)=p(3,5,6,7)=0.65

P(ABcC)=p(5)=2p(3)=2P(AcBC)

Estos datos se muestran en el mapa minterm en la Figura 2.1.3 a. Utilizamos los patrones mostrados en el mapa minterm para ayudar en una solución algebraica para las diversas probabilidades minterm.

p(2,3)=p(0,1,2,3)p(0,1)=0.200.05=0.15

p(6,7)=p(2,3,6,7)p(2,3)=0.650.15=0.50

p(6)=p(6,7)p(7)=0.500.10=0.40

p(3,5)=p(3,5,6,7)p(6,7)=0.650.50=0.15p(3)=0.05,

p(5)=0.10p(2)=0.10

p(1)=p(1,3,5,7)p(3,5)p(7)=0.300.150.10=0.05p(0)=0

p(4)=p(4,5,6,7)p(5)p(6,7)=0.800.100.50=0.20

Así, se determinan todas las probabilidades minterm. Se muestran en la Figura 2.1.3 b. De estos obtenemos

P(AcBCABcCABCc)=p(3,5,6)=0.05+0.10+0.40=0.55yP(AcBcC)=p(1)=0.05

2019-12-21 7.10.11.png
a. Datos para encuesta por software, Ejemplo 2.3.1
2019-12-21 7.10.58.png
b. Probabilidades minterm para encuestas por software. Ejemplo 3.3.1

Figura 2.1.3. Mapas minterm para levantamiento por software.

Ejemplo2.1.3 Survey on personal computers

Una encuesta a 1000 estudiantes muestra que 565 tienen computadoras de escritorio compatibles con PC, 515 tienen computadoras de escritorio Macintosh y 151 tienen computadoras portátiles. 51 tienen las tres, 124 tienen computadoras tanto PC como portátiles, 212 tienen al menos dos de las tres, y el doble de poseen tanto PC como portátiles que quienes tienen ambas Computadora de escritorio y portátil Macintosh. Se selecciona al azar a una persona de esta población. ¿Cuál es la probabilidad de que tenga al menos uno de estos tipos de computadoras? ¿Cuál es la probabilidad de que la persona seleccionada tenga solo una computadora portátil?

2019-12-21 7.14.35.png
Figura 2.1.4. Probabilidades minterm para encuestas informáticas. Ejemplo 2.1.3

Solución

Deje queA= el evento de poseer una computadora de escritorio,B= el evento de tener una computadora Macintosh yC= el evento de poseer una computadora portátil. Utilizamos un mapa minterm para tres variables para ayudar a determinar patrones minterm. Por ejemplo, el eventoAC=M5M7 para queP(AC)=p(5)+p(7)=p(5,7).

Los datos, expresados en términos de probabilidades minterm, son:

P(A)=p(4,5,6,7)=0.565, por lo tantoP(Ac)=p(0,1,2,3)=0.435

P(B)=p(2,3,6,7)=0.515, por lo tantoP(Bc)=p(0,1,4,5)=0.485

P(C)=p(1,3,5,7)=0.151, por lo tantoP(Cc)=p(0,2,4,6)=0.849

P(ABC)=p(7)=0.051P(AC)=p(5,7)=0.124

P(ABACBC)=p(3,5,6,7)=0.212

P(AC)=p(5,7)=2p(3,7)=2P(BC)

Utilizamos los patrones mostrados en el mapa minterm para ayudar en una solución algebraica para las diversas probabilidades minterm.

p(5)=p(5,7)p(7)=0.1240.051=0.073

p(1,3)=P(AcC)=0.1510.124=0.027P(ACc)=p(4,6)=0.5650.124=0.441

p(3,7)=P(BC)=0.124/2=0.062

p(3)=0.0620.051=0.011

p(6)=p(3,4,6,7)p(3)p(5,7)=0.2120.0110.124=0.077

p(4)=P(A)p(6)p(5,7)=0.5650.0770.1124=0.364

p(1)=p(1,3)p(3)=0.0270.11=0.016

p(2)=P(B)p(3,7)p(6)=0.5150.0620.077=0.376

p(0)=P(Cc)p(4,6)p(2)=0.8490.4410.376=0.032

Se han determinado las probabilidades minterm, las cuales se muestran en el mapa minterm Figura 2.1.4. Ahora podemos calcular la probabilidad de cualquier combinación booleana de los eventos generadoresA,B,C. Por lo tanto,

P(ABC)=1P(AcBcCc)1p(0)=0.968yP(AcBcC)=p(1)=0.016

2019-12-22 3.32.25.png
Figura 2.1.5. Probabilidades minterm para encuesta de opinión. Ejemplo 2.1.4

Ejemplo2.1.4 Opinion survey

Se realiza una encuesta a 1000 personas para determinar sus opiniones sobre cuatro proposiciones. QueA,B,C,D sean los eventos que una persona seleccionada esté de acuerdo con las proposiciones respectivas. Los resultados de la encuesta muestran las siguientes probabilidades para varias combinaciones:

P(A)=0.200,P(B)=0.500,P(C)=0.300,P(D)=0.700,P(A(BCc)Dc)=0.055

P(ABCDc)=0.520,P(AcBCcD)=0.120,P(ABCD)=0.015,P(ABcC)=0.030

P(AcBcCcD)=0.195,P(AcBC)=0.120,P(AcBcDc)=0.120,P(ACc)=0.140

P(ACDc)=0.025,P(ABCcDc)=0.020

Determinar las probabilidades para cada minterm y para cada una de las siguientes combinaciones

Ac(BCcBcC)- es decir, noA y (BoC, pero no ambos)

ABCc- es decir,A o (By noC)

Solución

Al inicio, no está claro que los datos sean consistentes o suficientes para determinar las probabilidades minterm. No obstante, un examen de los datos muestra que hay dieciséis ítems (incluyendo el hecho de que la suma de todas las probabilidades minterm es uno). Así, hay esperanza, pero ninguna garantía, de que existe una solución. Un procedimiento de eliminación por pasos, como en los ejemplos anteriores, muestra que de hecho se pueden calcular todos los minterms. Los resultados se muestran en el mapa minterm en la Figura 2.1.5. Sería deseable poder analizar el problema de manera sistemática. La formulación anterior sugiere una formulación algebraica más sistemática que debería hacer posible la solución asistida por máquina.

Formulación sistemática

El uso de un mapa minterm tiene la ventaja de visualizar la expansión minterm en relación directa con la combinación booleana. Las soluciones algebraicas de los problemas anteriores involucraron manipulaciones ad hoc de las combinaciones de probabilidad minterm de datos para encontrar la probabilidad de la combinación objetivo deseada. Se busca una formulación sistemática de los datos como un conjunto de ecuaciones algebraicas lineales con las probabilidades minterm como incógnitas, de manera que se puedan emplear métodos estándar de solución. Consideremos nuevamente la encuesta de software del Ejemplo 2.1.1.

Ejemplo2.1.5 The softerware survey problem reformulated

Los datos, expresados en términos de probabilidades minterm, son:

P(A)=p(4,5,6,7)=0.80

P(B)=p(2,3,6,7)=0.65

P(C)=p(1,3,5,7)=0.30

P(ABC)=p(7)=0.10

P(AcBc)=p(0,1)=0.05

P(ABACBC)=p(3,5,6,7)=0.65

P(ABcC)=p(5)=2p(3)=2P(AcBC), de manera quep(5)2p(3)=0

También tenemos en cualquier caso

P(Ω)=P(AAc)=p(0,1,2,3,4,5,6,7)=1

para completar los ocho ítems de datos necesarios para determinar las ocho probabilidades minterm. El primer dato se puede expresar como una ecuación en probabilidades minterm:

0p(0)+0p(1)+0p(2)+0p(3)+1p(4)+1p(5)+1p(6)+1p(7)=0.80

Esta es una ecuación algebraicap(0),,p(7) con una matriz de coeficientes

[0 0 0 0 1 1 1 1]

Las otras pueden escribirse en consecuencia, dando ocho ecuaciones algebraicas lineales en ocho variablesp(0) a través dep(7). Cada ecuación tiene una matriz o vector de coeficientes cero-uno que indica qué minterms se incluyen. Estos pueden escribirse en forma de matriz de la siguiente manera:

[1111111100001111001100110101010100000001110000000001011100020100][p(0)p(1)p(2)p(3)p(4)p(5)p(6)p(7)]=[10.800.650.300.100.050.650]=[P(Ω)P(A)P(B)P(C)P(ABC)P(AcBc)P(ABACBC)P(ABcC)2P(AcBC)]

  • Los patrones en la matriz de coeficientes están determinados por operaciones lógicas. Los obtuvimos con la ayuda de un mapa minterm.
  • La solución utiliza un procedimiento algebraico, que podría llevarse a cabo de diversas maneras, incluyendo varios paquetes informáticos estándar para operaciones matriciales.

Mostramos en el módulo Minterm Vectors y MATLAB cómo podemos usar MATLAB para ambos aspectos.

Funciones de los indicadores y la expansión minterm

La discusión previa de la función indicadora muestra que la función indicadora para una combinación booleana de conjuntos es una función de valor numérico de las funciones indicadoras para los conjuntos individuales.

  • Como función indicadora, toma solo los valores cero y uno.
  • El valor de la función indicadora para cualquier combinación booleana debe ser constante en cada minterm. Por ejemplo, para cada ω en el mintermABcCDc, debemos tenerIA(ω)=1,IB(ω)=0,IC(ω)=1, yID(ω)=0. Así, cualquier función deIA,IB,IC,ID debe ser constante sobre el minterm.
  • Considere una combinación booleanaE de los grupos generadores. Siω está enEMi, entoncesIE(ω)=1 para todosωMi, así que esoMiE. Ya que cada unoωMi o algunosi,E deben ser la unión de esos minterms que comparten unaω conE.
  • {Mi:iJE}Sea la subclase de esos minterms sobre los queIE tiene el valor uno. Entonces

E=JEMi

que es la expansión a corto plazo deE.


This page titled 2.1: Minterms is shared under a CC BY 3.0 license and was authored, remixed, and/or curated by Paul Pfeiffer via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?