A changing edge, i.e., either rising or falling, 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.