MyWikiBiz, Author Your Legacy — Wednesday May 01, 2024
Jump to navigationJump to search
4 bytes removed
, 04:08, 1 June 2009
Line 3,850: |
Line 3,850: |
| ====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. |