A falling edge of the Boolean input u results in y = true at this time instant. At all other time instants, y = false.