En principio te diré que el tema deberías haberlo presentado en los Foros de Electrónica y Foro de Electricidad.( Más que en el Física).
En base al diagrama logico de fase temporal ves que tendrias salida (1) solamente para las combinaciones : A,B,C,D = {0,0,0,0} , {0,0,1,0,} , {0,1,1,0}........el resto son todos (0)............
1) O sea construís una tabla de verdad, como te habrán explicado, conteniendo 2^4 = 16 filas y 4 columnas ABC y D. Allí ubicas los (1) y los (0). Tendrás 3 filas con(1) y 12 filas con (0).
.2) Pero la ecuacion logica Out puede simplificarse ( utilizas Karnaugh) y llegas a que:
Funcion Out Simplificada = A* B* C* + A* C D* ......................el asterisco indica negacion de la variable logica.
El circuito logico asociado seria simple: Cuatro Entradas logicas ( A,B,C,D,) ..dos compuertas AND ( una para cada termino de la funcion Out = A* B* C* + A* C D* .......tres inversores para negar A.B.y D y una compuerta OR para sumar los dos terminos resultantes.
3)Este punto no se como decírtelo porque no se que tipo de simulador están utilizando.
Cualquier duda que te surge me consultas nuevamente.