− | 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? |
− | 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: |