| Line 664: |
Line 664: |
| | |} | | |} |
| | | | |
| − | <pre>
| + | But these initial formulas are purely definitional, and help us little to understand either the purpose of the operators or the significance of the results. Working symbolically, let's apply a more systematic method to the separate components of the mapping <math>F.\!</math> |
| − | But these initial formulas are purely definitional, | |
| − | and help us little to understand either the purpose | |
| − | of the operators or the significance of the results. | |
| − | Working symbolically, let's apply a more systematic | |
| − | method to the separate components of the mapping F. | |
| | | | |
| − | A sketch of this work is presented in the following series | + | A sketch of this work is presented in the following series of Figures, where each logical proposition is expanded over the basic cells <math>uv, u \underline{(} v \underline{)}, \underline{(} u \underline{)} v, \underline{(} u \underline{)(} v \underline{)}</math> of the 2-dimensional universe of discourse <math>U^\circ = [u, v].\!</math> |
| − | of Figures, where each logical proposition is expanded over | |
| − | the basic cells uv, u(v), (u)v, (u)(v) of the 2-dimensional | |
| − | universe of discourse U% = [u, v]. | |
| | | | |
| | + | <pre> |
| | Computation Summary for f<u, v> = ((u)(v)) | | Computation Summary for f<u, v> = ((u)(v)) |
| | | | |