Este documento describe los pasos para diseñar un sistema de control de aterrizaje para un aeropuerto con 3 pistas (A, B, C) que permite aterrizar aviones DC9 que requieren una pista y aviones B747 que requieren dos pistas. Los pasos incluyen especificar el sistema, determinar las entradas y salidas, construir una tabla de verdad, minimizar las funciones lógicas y generar un diagrama esquemático. La tabla de verdad muestra las condiciones para permitir el aterrizaje de cada tipo de avión y las func

1. Metodología del Diseño Combinacional
1.- Especificar el Sistema
2.- Determinar entradas y salidas
3.- Construir la Tabla de Verdad
4.- Minimizar
5.- Diagrama Esquemático
6.- Implementar

2. Ejemplo
Diseñe un Sistema capaz de cubrir las necesidades de
control de aterrizaje de un pequeño aeropuerto.
Consta de tres pistas llamadas A, B y C.

3. Aterrizan dos tipos de aviones
Un DC9 que requiere de una sola pista para aterrizar
Un B747 que requiere de dos pistas.
El avión B747 tiene prioridad de aterrizar sobre el DC9.
Ejemplo

4. 1.-Especificar el Sistema
las variables que intervienen son:
PISTAS A, B y C (ENTRADAS)
Disponible = 1
No disponible =0
Aviones DC9 y B747 (SALIDAS)
Permiso para aterrizar =1
No permiso para aterrizar =0

5. 2.- Determinar las entradas y salidas
Las pistas A, B, C son las entradas del sistema.
Mientras que permiso para aterrizar para el DC9 o B747 son
las salidas que representamos a continuación en un
diagrama de bloques.

6. 3.- Trasladar el comportamiento a una tabla de verdad
hay que decidir el valor más conveniente de las salidas (0 o 1) para cada
una de las combinaciones de entrada:
m A B C DC9 B747
0
0 0 0
1
0 0 1
2
0 1 0
3
0 1 1
4
1 0 0
5
1 0 1
6
1 1 0
7
1 1 1

7. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

8. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

9. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

10. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

11. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0
0 0 0 0 0
1
0 0 1 1 0
2
0 1 0 1 0
3
0 1 1
4
1 0 0
5
1 0 1
6
1 1 0
7
1 1 1

12. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

13. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

14. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1

15. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1
6 1 1 0
7 1 1 1

16. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1
6 1 1 0
7 1 1 1

17. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0
7 1 1 1

18. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0
7 1 1 1

19. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1

20. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1

21. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1 1 1

22. 3.- Trasladar el comportamiento a una tabla de verdad
m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1 1 1

23. m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1 1 1
4.- Minimización
FDC9 (A, B, C) = A’BC’ + AB’ +AC+ B’C

24. m A B C DC9 B747
0 0 0 0 0 0
1 0 0 1 1 0
2 0 1 0 1 0
3 0 1 1 0 1
4 1 0 0 1 0
5 1 0 1 1 0
6 1 1 0 0 1
7 1 1 1 1 1
4.- Minimización
FB747 (A, B, C) = AB + BC = B(A+C)

25. 4.- Minimización
Para minimizar podemos hacer uso de los mapas de
Karnaugh para simplificar las Funciones DC9 y B747.
FDC9 (A, B, C) = A’BC’ + AB’ +AC+ B’C
FB747 (A, B, C) = AB + BC = B(A+C)

26. 4.- Minimización
Haciendo un análisis de las ecuaciones obtenidas para el DC9 puede aterrizar
cuando:
A’BC’ Solo este disponible la pista B
AB’ Cuando este disponible la pista A pero no la B’
AC Cuando estén disponibles las pistas A y C independientemente de la B
B’C Cuando este disponible la pista C pero no la B’
El B747 puede aterrizar cuando:
AB Cuando estén disponibles las pistas A y B independientemente de la C
BC Cuando estén disponibles las pistas B y C independientemente de la A
FDC9 (A, B, C) = A’BC’ + AB’ +AC+ B’C
FB747 (A, B, C) = AB + BC = B(A+C)

27. 5.- Diagrama esquemático.
FDC9 (A, B, C) = A’BC’ + AB’ +AC+ B’C
FB747 (A, B, C) = AB + BC = B(A+C)