User:Metadjinn~enwiki

[2] A subset of these properties suffice to derive the others Both properties on a same line are mirrored to the other property on that same line and vice versa by changing $$_{0 \leftrightarrow 1\ +\leftrightarrow .}\!$$ simultaneously. They are dual properties. Duals of the above properties and of properties derived from them are properties too.
 * Let the Boolean operators be defined by
 * and the Boolean constants by
 * A set of axioms sufficient for a Boolean algebra are then
 * Derived property: idempotency