Alternative definitions of Boolean functions and relations (Q790856)

The authors give new characterizations of the complementarity and orthogonality relations on a Boolean algebra. The exponential function on a Boolean algebra is defined by \(x^ y=x+y+1.\) It is shown that this Boolean function is determined by its properties (A) \(x^ yx^ z=x^{y+z}\) iff \(xy=yz=xz=0\) or (b) \((x^ y)^ z=x^{yz}\) iff \(y\vee z=1\).