Boolean functions of bounded variation. (Q2595490)

Die Boolesche Funktion \(f(x)\) (vgl. \textit{Schmidt}, The theory of functions of one Boolean variable, Trans. Amer. math. Soc. 23 (1922), 212-222; F. d. M. 48, 1124 (JFM 48.1124.*)) heißt in \((0, a)\) von beschränkter Variation, wenn \(\sum\limits_{i, j=1}^{n}f(a_i)\varDelta f(a_j)\not=1\) ist für alle Systeme \(a_1\),\dots, \(a_{n}\) mit \(0<a_i<a\), \(\sum\limits_{i=1}^{n}a_i=a\), \(a_ia_j=0\) für \(i\not=j\). (In mengentheoretischer Deutung steht \(\varDelta \) für die symmetrische Differenz \(b\varDelta c=bc'+b'c\), wo der Strich die Komplementärmenge bezüglich der Universalmenge 1 bezeichnet.) Jede Boolesche Funktion ist in jedem \((0, a)\) mit \(a\not=1\) von beschränkter Variation. In \((0, 1)\) ist \(f(x)\) (mit der Normalform \(dx + ex'\)) dann und nur dann von beschränkter Variation, wenn \(d\varDelta e\not=1\). Es folgen Sätze über das Verhalten dieses Begriffes in bezug auf die verschiedenen Operationen, ferner die Übertragung des Begriffes auf mehrere Veränderliche.