Según entiendo debería funcionar algo así, ya que cuando la base del primer transistor pnp tenga 0 lógico la corriente debería fluir para impedir el paso en el segundo transistor, y al momento de tener 1 lógico la base del primer transistor, el segundo transistor tendría un 0 en la base permitiendo el paso de corriente pero no funciona en proteus.