Changes

in a fixed cell of the corresponding venn diagram, say, the cell where the proposition <math>xy\!</math> is true, as shown here:

in a fixed cell of the corresponding venn diagram, say, the cell where the proposition <math>xy\!</math> is true, as shown here:

{| align="center" cellpadding="10" style="text-align:center"

{| align="center" cellpadding="10"

| [[Image:Venn_Diagram_X_And_Y.jpg|500px]]

| [[Image:Venn Diagram X And Y.jpg|500px]]

|}

|}

We begin with a proposition or a boolean function <math>f(x, y) = xy.\!</math>

We begin with a proposition or a boolean function <math>f(x, y) = xy.\!</math>

{| align="center" cellpadding="10" style="text-align:center"

{| align="center" cellpadding="10"

| [[Image:Venn Diagram F = X And Y.jpg|500px]]

| [[Image:Venn Diagram F = X And Y.jpg|500px]]

|-

|-

<math>\operatorname{d}x</math> when crossing the border between <math>x\!</math> and <math>\texttt{(} x \texttt{)}</math> and as <math>\operatorname{d}y</math> when crossing the border between <math>y\!</math> and <math>\texttt{(} y \texttt{)},</math> in either direction, in either case.

<math>\operatorname{d}x</math> when crossing the border between <math>x\!</math> and <math>\texttt{(} x \texttt{)}</math> and as <math>\operatorname{d}y</math> when crossing the border between <math>y\!</math> and <math>\texttt{(} y \texttt{)},</math> in either direction, in either case.

{| align="center" cellpadding="10" style="text-align:center"

{| align="center" cellpadding="10"

| [[Image:Venn Diagram X Y dX dY.jpg|500px]]

| [[Image:Venn Diagram X Y dX dY.jpg|500px]]

|}

|}