Powered By Blogger

5 de octubre de 2010

MINTERMINOS

Minitérminos
Para una función booleana de n variables x1,...xn, un producto booleano en el que cada una de las n variables aparece una sola vez (negada o sin negar) es llamado minitérmino. Es decir, un minitérmino es una expresión lógica de n variables consistente únicamente en el operador conjunción lógica (AND) y el operador complemento o negación (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una función booleana con las tres variables a, b y c.

   \begin{array}{|c|c l||c|c|c|}
      \hline
      n & m & & a & b & c \\
      \hline
      0 & m_0= & a'b'c'& 0 & 0 & 0 \\
      1 & m_1= & a'b'c & 0 & 0 & 1 \\
      2 & m_2= & a'b c'& 0 & 1 & 0 \\
      3 & m_3= & a'b c & 0 & 1 & 1 \\
      4 & m_4= & a b'c'& 1 & 0 & 0 \\
      5 & m_5= & a b'c & 1 & 0 & 1 \\
      6 & m_6= & a b c'& 1 & 1 & 0 \\
      7 & m_7= & a b c & 1 & 1 & 1 \\
      \hline
   \end{array}

En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el mismo orden), un índice basado en el valor binario del minterm.
Un término negado, como a' es considerado como el número binario 0 y el término no negado a es considerado como un 1.
Por ejemplo, se asociaría el número 6 con abc', y nombraríamos la expresión con el nombre m6. Entonces m0 de tres variables es a'b'c' y m7 debería ser abc al ser 111(2.
Se puede observar que cada minterm solo devuelve verdadero, (1), con una sola entrada de las posibles.
Por ejemplo, el minitérmino 5, ab'c es verdadero solo cuado a y c son ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.

 


   \begin{array}{|c||c|c||c|}
      \hline
      n & a & b & f(a,b) \\
      \hline
      0 & 0 & 0 & 1 \\
      1 & 0 & 1 & 0 \\
      2 & 1 & 0 & 0 \\
      3 & 1 & 1 & 1 \\
      \hline
   \end{array}

Si tenemos una tabla de verdad de una función lógica: f(a,b), es posible escribir la función como "suma de productos". Por ejemplo, dada la tabla de verdad.
Observamos que las filas con resultado '1 son la primera y la cuarta, entonces podremos escribir f como la suma de los minitérminos: f(a,b) = m0 + m3.
Si queremos verificar esto:
f(a,b) = m0 + m3 = (a'b') + (ab)
tendremos que la tabla de verdad de la función, calculándola directamente, será la misma.

 a \,  b \,
TE Conex 05.svgTE Interu 07.svgTE Conex 12.svgTE Interu 07.svgTE Conex 09.svg
TE Conex 14.svgTE Interu 08.svgTE Conex 12.svgTE Interu 08.svgTE Conex 14.svg

Esta expresión aplicada a interruptores seria el de la figura, se puede ver que hay dos ramas, en la superior dos interruptores inversos: a’ y b’ puestos en serie, lo que es equivalente a a’b’, en la inferiores directos: a y b también en serie que es equivalente a ab, estos dos circuitos puestos en paralelo resultan a’b’ + ab.

No hay comentarios:

Publicar un comentario