MyWikiBiz, Author Your Legacy — Saturday September 28, 2024
Jump to navigationJump to search
289 bytes added
, 20:44, 4 March 2009
Line 481: |
Line 481: |
| | | |
| We are considering an abstract logical transformation <math>F = (f, g) : [u, v] \to [x, y]</math> that can be interpreted in a number of different ways. Let's fix on a couple of major variants that might be indicated as follows: | | We are considering an abstract logical transformation <math>F = (f, g) : [u, v] \to [x, y]</math> that can be interpreted in a number of different ways. Let's fix on a couple of major variants that might be indicated as follows: |
| + | |
| + | {| align="center" cellpadding="8" width="90%" |
| + | | |
| + | <math>\begin{array}{lccccc} |
| + | \text{Alias Map.} & (x, y) & = & F(u, v) & = & ( ~\underline{((}~ u ~\underline{)(}~ v ~\underline{))}~ , ~\underline{((}~ u ~,~ v ~\underline{))}~ ) |
| + | \\ \\ |
| + | \text{Alibi Map.} & (u', v') & = & F(u, v) & = & ( ~\underline{((}~ u ~\underline{)(}~ v ~\underline{))}~ , ~\underline{((}~ u ~,~ v ~\underline{))}~ ) |
| + | \end{array}</math> |
| + | |} |
| | | |
| <pre> | | <pre> |
− | Alias Map. <x , y > = F<u, v> = <((u)(v)), ((u, v))>
| |
− |
| |
− | Alibi Map. <u', v'> = F<u, v> = <((u)(v)), ((u, v))>
| |
− |
| |
| F is just one example among -- well, now that I think of it -- | | F is just one example among -- well, now that I think of it -- |
| how many other logical transformations from the same source | | how many other logical transformations from the same source |