MyWikiBiz, Author Your Legacy — Monday June 24, 2024
Jump to navigationJump to search
91 bytes added
, 12:54, 10 March 2009
Line 837: |
Line 837: |
| ===Computation Summary : <math>g(u, v) = \texttt{((u,~v))}</math>=== | | ===Computation Summary : <math>g(u, v) = \texttt{((u,~v))}</math>=== |
| | | |
− | Figure 2.1 expands <math>g = \texttt{((u,~v))}</math> over <math>[u, v]\!</math> into the logically equivalent exclusive disjunction: <math>\texttt{uv ~+~ (u)(v)}.</math> | + | The venn diagram in Figure 2.1 shows how the proposition <math>g = \texttt{((u,~v))}</math> can be expanded over the universe of discourse <math>[u, v]\!</math> to produce a logically equivalent exclusive disjunction, namely, <math>\texttt{uv ~+~ (u)(v)}.</math> |
| | | |
| <pre> | | <pre> |