He revisited Boolean axiomatics in 1933, proving that Boolean algebra required but a single binary operation (denoted below by infix '+') that commutes and associates, and a single unary operation, complementation, denoted by a postfix prime.
Big O notation | Z notation | Reverse Polish notation | Whyte notation | Parts-per notation | The final form of Braille's alphabet, according to Henri (1952). The decade diacritics are listed at left, and the supplementary letters are assigned to the appropriate decade at right. Characters are derived by combining the diacritic on the left with the basic letters at top. "(1)" indicates markers for musical and mathematical notation. Parentheses and quotation marks follow English Braille | that book's notation | Siegbahn notation | scientific pitch notation | Reverse Polish Notation | reverse Polish notation | quote notation | Portable Game Notation | Infix notation | abuse of notation | Abstract Syntax Notation One | ABC notation |