Among the various logically equivalent sets of axioms for boolean algebra ([1] discusses four of them), that referred to in the title of this article is popular because of its symmetry (self-duality) and convenience in application. The textbook presentation is essentially as follows; the qualifiers ‘left’, ‘right’ are often omitted, although the symbolic version indicates that they are intended.