Changes

Written as a string, this is just the concatenation "<math>x\ y\!</math>".

Written as a string, this is just the concatenation "<math>x\ y\!</math>".

The proposition ''xy'' may be taken as a boolean function ''f''(''x'',&nbsp;''y'') having the abstract type ''f''&nbsp;:&nbsp;'''B'''&nbsp;&times;&nbsp;'''B'''&nbsp;&rarr;&nbsp;'''B''', where '''B''' = {0,&nbsp;1} is read in such a way that 0 means ''false'' and 1 means ''true''.

The proposition <math>x y\!</math> may be taken as a boolean function <math>f(x, y)\!</math> having the abstract type <math>f : \mathbb{B} \times \mathbb{B} \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is read in such a way that 0 means <math>false\!</math> and 1 means <math>true.\!</math>

In this style of graphical representation, the value ''true'' looks like a blank label and the value ''false'' looks like an edge.

In this style of graphical representation, the value <math>true\!</math> looks like a blank label and the value <math>false\!</math> looks like an edge.

<pre>

<pre>

</pre>

</pre>

Back to the proposition ''xy''.  Imagine yourself standing in a fixed cell of the corresponding venn diagram, say, the cell where the proposition ''xy'' is true, as pictured:

Back to the proposition <math>x y.\!</math> Imagine yourself standing in a fixed cell of the corresponding venn diagram, say, the cell where the proposition <math>x y\!</math> is true, as pictured:

<pre>

<pre>