A condition that a first Boolean function vanish whenever a second does not.

DOI10.1090/S0002-9904-1937-06628-6MaRDI QIDQ2604419zbMATH OpenOpenAlexFDO

Authors J. C. C. McKinsey

Publication date 1937

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1937-06628-6

Review text

In der gewöhnlichen Algebra gilt der Satz, daß ein Polynom \(f(x_1,\ldots, x_n)\) identisch verschwinden muß, falls es \(= 0\) ist, so oft ein anderes nicht identisch verschwindendes Polynom \(g(x_1,\ldots, x_n)\neq 0\) ist. Verf. zeigt durch ein Beispiel, daß ein solcher Satz nicht allgemein gilt für \textit{Boole}sche Funktionen. Er leitet die notwendige und hinreichende Bedingung dafür her, daß von zwei nicht identisch verschwindenden \textit{Boole}schen Funktionen \(f(x_1,\ldots, x_n)\) und \(g(x_1,\ldots, x_n)\) bei beliebigen \(x_1,\ldots, x_n\) stets eine verschwindet. Aus seinem Theorem geht hervor, daß der erwähnte Satz der gewöhnlichen Algebra nur in den \textit{Boole}schen Algebren ohne Primelemente gültig bleibt. (II.)

This page was built for publication: A condition that a first Boolean function vanish whenever a second does not.

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