Diferencia entre revisiones de «Diseño de circuitos digitales y tecnología de computadores/Implementación de funciones lógicas»
Contenido eliminado Contenido añadido
m →Realización física de funciones lógicas: Cambio de la imagen "Obtener función lógica realizada por un circuito combinacional" |
Creación y adición de imagenes. Completado supuesto práctico. |
||
Línea 1:
==Sistema combinacional==
Un ''sistema combinacional'' es la realización física de una función lógica. El estado lógico de la salida, considerado un instante, depende sólo de la combinación binaria que hay en la entrada y es independiente de combinaciones previas.
===Obtener la función lógica de un circuito combinacional===
Dado un circuito combinacional podemos obtener la función de salida anotando sucesivamente las expresiones booleanas que producen las distintas puertas lógicas a partir de la entradas.
Línea 9 ⟶ 10:
</center>
===Simplificación de circuitos===
<br />▼
Antes de componer el circuito combinacional que realiza una función lógica, es conveniente simplificar ésta para minimizar el número de puertas lógicas que necesita el circuito. Existen tres métodos para simplificar funciones:
* algebraico: utiliza los teoremas y postulados del álgebra de Boole; se utiliza para un número de variables de 2 a 3.
Línea 15 ⟶ 16:
* [[w:Algoritmo Quine-McCluskey|numérico o de Quine-McCluskey]]: se usa para un número de variables superior a 5.
===Multifunción===
{|
|-
| <p><math>f = a\overline{b} + \overline{b}cd</math> <br /> <math>g = \overline{a}b + \overline{b}cd</math></p>
| rowspan="2"|[[Archivo:Common_term_multifunction.svg|Término común de un circuito combinacional multifunción]]
| Obsérvese que en las intersecciones de líneas en forma de cruz no existe contacto, los puntos de conexión se representan uniendo las líneas en forma de T.
===Circuitos combinacionales con puertas NAND o NOR===
Las puertas elementales AND, OR y NOT son suficientes para realizar cualquier función lógica. También es posible realizar cualquier función lógica utilizando sólo puertas NAND o sólo puertas NOR, que son de fabricación más sencilla y por ende, más baratas. Para que una función lógica se pueda implementar sólo con puertas NAND o NOR, se transforma algebraicamente usando los teoremas de DeMorgan de modo que:
* Para utilizar sólo puertas NAND, no puede haber ninguna suma y debe haber al menos una negación que afecte a toda la expresión algebraica.
* Para utilizar sólo puertas NOR, no puede haber ningún producto y debe haber al menos una negación que afecte a toda la expresión algebraica.
El complemento de una variable '''a''' mediante puertas NAND o NOR se puede obtener de los siguientes modos:
<center>
[[Archivo:NOTconNANDoNOR.svg|Inversión de una variable mediante puertas NAND o NOR]]
</center>
===Resolución de supuestos prácticos===
Cuando se nos plantea un problema basado en funciones lógicas, para resolverlo se siguen los siguientes pasos:
# comprender el problema y obtener el nº de entradas y salidas necesarias
Línea 35 ⟶ 46:
<br />
{{Ejemplo
|titulo=Obtener el circuito combinacional que realiza una función lógica
|enunciado=Un contactor R para el accionamiento de un motor eléctrico está gobernado por la acción combinada de tres condiciones de carrera A, B y C. El motor debe entrar en funcionamiento solamente cuando se cumplan las siguientes combinaciones de las condiciones de carrera:
* A activada, B y C en reposo
|sol=solucion▼
* B y C activadas, A en reposo
▲}}
* C activada, A y B en reposo
* A y C activadas, B en reposo
Hallar el circuito combinacional que cumpla estas condiciones.
Las entradas son las condiciones de carrera A, B y C (1 = activada), y la salida es el contactor R (1 = accionado)
Para obtener la función lógica en forma de suma de minterms sólo necesitamos las combinaciones para las cuales R vale 1, así que podemos ahorrarnos el esfuerzo de escribir el resto de combinaciones de la tabla de verdad para las cuales R vale 0.
<center>
<table cellspacing="10">
<tr><th>A</th><th>B</th><th>C</th><th>R</th></tr>
<tr><td>1</td><td>0</td><td>0</td><td>1</td></tr>
<tr><td>0</td><td>1</td><td>1</td><td>1</td>
<td><math>F =
A \cdot \overline{B} \cdot \overline{C} +
\overline{A} \cdot B \cdot C +
\overline{A} \cdot \overline{B} \cdot C +
A \cdot \overline{B} \cdot C</math>
</td>
</tr>
<tr><td>0</td><td>0</td><td>1</td><td>1</td></tr>
<tr><td>1</td><td>0</td><td>1</td><td>1</td></tr>
</table>
</center>
<p>Simplificamos algebraicamente la función canónica obtenida de la tabla de verdad:</p>
▲<br />
<center>
<math>F = A\overline{B}(\overline{C}+C) + \overline{A}C(B+\overline{B}) = A\overline{B}+\overline{A}C</math>
</center>
<br />
<p>Para construir el circuito combinacional mediante puertas NAND transformamos la función R aplicando los teoremas de DeMorgan.</p>
<br />
<math>F =
\overline{\overline{ A\overline{B}+\overline{A}C }} =
\overline{ \overline{A\overline{B}} \cdot \overline{\overline{A}C} }
</math>
<br />
<center>[[Archivo:Combinational_circuit_NAND_gates.svg|Circuito combinacional con puertas NAND]]</center>
}}<!--FIN EJEMPLO-->
{{en desarrollo}}
| |||