Editing Laws of Form (section)

===== operator-operand duality =====
The marked state, [[Image:Laws of Form - cross.gif]], is both an operator (e.g., the complement) and operand (e.g., the value 1). This can be summarized neatly by defining two functions <math>m(x)</math> and <math>u(x)</math> for the marked and unmarked state, respectively: let <math>m(x) = 1-\max(\{0\}\cup x)</math> and <math>u(x) = \max(\{0\} \cup x)</math>, where <math>x</math> is a (possibly empty) set of boolean values.

This reveals that <math>u</math> is either the value 0 or the OR operator, while <math>m</math> is either the value 1 or the NOR operator, depending on whether <math>x</math> is the empty set or not. As noted above, there is a dual form of these functions exchanging AND ↔ OR and 1 ↔ 0.