Changes

====Note 6====

====Note 6====

To broaden our experience with simple examples, let us examine the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math>  A few Tables are set here that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> and on each of these functions, allowing us to view the results in several different ways.

To broaden our experience with simple examples, let us examine the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math>  A few Tables are set here that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on each of these functions, allowing us to view the results in several different ways.

Tables A1 and A2 show two ways of arranging the 16 boolean functions on two variables, giving equivalent expressions for each function in several different systems of notation.

Tables A1 and A2 show two ways of arranging the 16 boolean functions on two variables, giving equivalent expressions for each function in several different systems of notation.