A falling edge of the Boolean input u results in y = true at this time instant. At all other time instants, y = false.
The usage is demonstrated, e.g., in example Modelica.Blocks.Examples.BooleanNetwork1.