Alternative definitions of Boolean functions and relations

DOI10.1007/BF01193604MaRDI QIDQ790856zbMATH OpenFDO

Authors Robert A. Melter, Sergiu Rudeanu

Publication date 1984

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01193604

zbMATH Keywords

Boolean functioncomplementarityexponential functionorthogonality relations

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Boolean algebras (Boolean rings) (06E99)

Review text

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\).

Recommendations

• scientific article; zbMATH DE number 1775542
• Representations of Boolean functions
• scientific article; zbMATH DE number 4012691
• Binary relations and homomorphisms of Booleans
• scientific article; zbMATH DE number 1504655
• A duality between Boolean functions
• Boolean functions as models for quantified Boolean formulas
• Functional dependencies among Boolean dependencies
• On a new classification of Boolean functions
• scientific article; zbMATH DE number 3185967

Cited in

(1)

• On unit-zero Boolean representations of operations and relations

This page was built for publication: Alternative definitions of Boolean functions and relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790856)