Boolean differences for the monotone functions of the algebra of logic

MaRDI QIDQ1281076zbMATH OpenFDO

Authors Yu. M. Parfenov, I. A. Ryabinin

Publication date 4 February 2000

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Boolean differencesfault detectionmonotone functionsreliabilityswitching circuits

Mathematics Subject Classification ID

Boolean functions (06E30) Fault detection; testing in circuits and networks (94C12)

Review text

The authors comment on the notion of Boolean differentiation, first introduced by \textit{S. B. Akers} [J. Soc. Ind. Appl. Math. 7, 487-498 (1959; Zbl 0114.06502)], discussing some of the applications to fault detection and reliability of switching circuits. Calculation formulas concerning monotone functions and examples on Carnot maps are given for special kinds of derivatives: single, double, twofold, and total Boolean differences [see also \textit{D. Bochmann} and \textit{C. Posthoff}, Binäre dynamische Systeme, Oldenbourg Verlag, München/Akademie-Verlag, Berlin (1981; Zbl 0509.94026)].

Recommendations

• scientific article; zbMATH DE number 3693166
• scientific article; zbMATH DE number 5043201
• Boolean differential calculus
• scientific article; zbMATH DE number 4170846
• scientific article; zbMATH DE number 4125344

Cited in

(11)

• Boolean integral calculus
• Logics for classes of Boolean monoids
• Joint realizability of monotone Boolean functions
• What can be expected from a Boolean derivative?
• scientific article; zbMATH DE number 3854978 (Why is no real title available?)
• scientific article; zbMATH DE number 4170846 (Why is no real title available?)
• Differentialoperatoren Über Booleschen Algebren
• scientific article; zbMATH DE number 3693166 (Why is no real title available?)
• scientific article; zbMATH DE number 2058394 (Why is no real title available?)
• Axiomatizing Boolean differentiation
• On examples of difference operators for \(\{0,1\}\)-valued functions over finite sets

This page was built for publication: Boolean differences for the monotone functions of the algebra of logic

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