Boolean Functions
Subtitle: With Engineering Applications and Computer Programs
By: by Winfrid G. Schneeweiss
Publisher: Springer Berlin Heidelberg
Published: 1989
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 264
ISBN-13: 9783642456404; 9783642456381
Subjects: Engineering; Engineering mathematics; Telecommunication
Description: This is a textbook and a reference book on Boolean functions, i.e. functions of binary vectors assuming at most two values 0 and 1. First, the conventional theory and its applications in computer engineering are covered. Then - revisiting and deepening the historical notation of George Boole - Boolean operators, typically NOT, AND, and OR are replaced by standard addition, subtraction, and multiplication. This is shown to be extremely useful in the stochastic theory of Boolean functions. The latter is covered at considerable depth with numerous applications mostly in the field of reliability systems theory (fault-trees etc.). In the context of fault tree evaluation several modern Boolean algorithms are discussed, and aspects of PASCAL implementations are reviewed. The book as a whole should help theoretically minded practitioners to a clearer and deeper understanding of Boolean functions and it should give numerous hints for practical numerical work via typically Boolean computer programs.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Notation and Glossary of Fundamental Terms and Symbols; title: Fundamental Concepts; title: Diagrams for Boolean Analysis; title: Representations (Forms) and Types of Boolean Functions; title: Minimal Disjunctive Normal Forms; title: Boolean Difference Calculus; title: Boolean Functions Without Boolean Operators; title: Stochastic Theory of Boolean Functions; title: Stochastic Theory of Boolean Indicator Processes; title: Some Algorithms and Computer Programs for Boolean Analysis; title: Appendix: Probability Theory Refresher; title: Solutions of the Exercises for ʹʹ 2 through 11; title: References; title: Subject Index.