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>