Consider a latch with two inputs π and π, and one state variable π. This latch operates as
follows:
β’ If ππ = 00, the next state is 0.
β’ If ππ = 01 or ππ = 10, the state does not change.
β’ If ππ = 11, the next state is 1.