Paso 1: Cómo funciona
He hecho una simulación de la misma, cuando la entrada es 1 o alta la salida se establece a 0 o bajo, que permite el red(1) condujo a levantarse GND una luz, entonces cuando la ponga en 0 o baja la salida es 1 o alta que permite el green(0) condujo a obtener VCC y enciende.