synthesis) is more commonly employed than a product of sums (leading to a NOR synthesis).

Each of '+' and '·' can be defined in terms of the other and complementation:
*
* We only need one binary operation, and concatenation suffices to denote it. Hence concatenation and overbar suffice to notate 2. This notation is also that of Quine's Boolean term schemata.