Changes

==Note 5==

==Note 5==

For a slightly more interesting example, let's suppose that we have a dynamic system that is known by its state space <math>X,\!</math> and we have a boolean state variable <math>x : X \to \mathbb{B}.</math>  In addition, we are given an initial condition <math>x = dx\!</math> and a law <math>d^2 x = (x).\!</math>

For a slightly more interesting example, let's suppose that we have a dynamic system that is known by its state space <math>X,\!</math> and we have a boolean state variable <math>x : X \to \mathbb{B}.</math>  In addition, we are given an initial condition <math>\texttt{x = dx}</math> and a law <math>\texttt{d}^\texttt{2}\texttt{x = (x)}.</math>

The initial condition has two cases:  either &nbsp;<math>x = dx = 0\!</math>&nbsp; or &nbsp;<math>x = dx = 1.\!</math>

The initial condition has two cases:  either &nbsp;<math>x = dx = 0\!</math>&nbsp; or &nbsp;<math>x = dx = 1.\!</math>