It’s been a while, so let’s review …
Tables A1 and A2 showed two ways of organizing the sixteen boolean functions or propositional forms on two variables, as expressed in several notations. For ease of reference, here are fresh copies of those tables.
Table A1. Propositional Forms on Two Variables
Table A2. Propositional Forms on Two Variables
We took as our first example the boolean function corresponding to the logical conjunction and examined how the differential operators and act on . Each differential operator takes a boolean function of two variables and gives back a boolean function of four variables, or respectively.
In the next several posts we’ll extend our scope to the full set of boolean functions on two variables and examine how the differential operators and act on that set. There being some advantage to singling out the enlargement or shift operator in its own right, we’ll begin by computing for each function in the above tables.