Changes

|}

|}

Now ask yourself:  What is the value of the proposition <math>xy\!</math> at a distance of <math>dx\!</math> and <math>dy\!</math> from the cell <math>xy\!</math> where you are standing?

Now ask yourself:  What is the value of the proposition <math>xy\!</math> at a distance of <math>\operatorname{d}x</math> and <math>\operatorname{d}y</math> from the cell <math>xy\!</math> where you are standing?

Don't think about it &mdash; just compute:

Don't think about it &mdash; just compute:

|}

|}

However you draw it, these expressions follow because the expression <math>x + dx,\!</math> where the plus sign indicates addition in <math>\mathbb{B},</math> that is, addition modulo 2, and thus corresponds to the exclusive disjunction operation in logic, parses to a graph of the following form:

However you draw it, these expressions follow because the expression <math>x + \operatorname{d}x,</math> where the plus sign indicates addition in <math>\mathbb{B},</math> that is, addition modulo 2, and thus corresponds to the exclusive disjunction operation in logic, parses to a graph of the following form:

{| align="center" cellpadding="6" width="90%"

{| align="center" cellpadding="6" width="90%"