Logic Functions and Equations: Examples and Exercises

✍ Scribed by Bernd Steinbach, Christian Posthoff

• Publisher: Springer
• Year: 2009
• Tongue: English
• Leaves: 245
• Edition: 1
• Category: Library

✦ Synopsis

The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to do some exercises, but in both cases the examples that can be done in class and by hand are far away from examples that are relevant for practical problems. Therefore a software package called XBOOLE Monitor will be made available (downloadable, without additional fees), and the exercises given in Logic Functions and Equations can be solved by using this software package – in this way it is possible to solve a lot of relevant problems and to study the solutions based on this software.

✦ Table of Contents

cover-large.tif......Page 1
front-matter.pdf......Page 2
Contents......Page 6
List of Figures......Page 8
List of Tables......Page 12
Preface......Page 13
Foreword......Page 15
Introduction......Page 17
front-matter_2.pdf......Page 21
IIhskip 1emAPPLICATIONS......Page 0
XBOOLE Preliminaries......Page 22
The XBOOLE Window Structure......Page 24
XBOOLE Menu......Page 27
Toolbars......Page 29
Command Line......Page 32
Problem Program......Page 35
XBOOLE Library......Page 38
Combinatorial Considerations in B and Bn......Page 41
Logic Functions, Formulas and Expressions......Page 43
Special Functions and Representations......Page 48
Minimization......Page 53
Complete Systems of Functions......Page 55
Partially Defined Functions......Page 57
Solutions......Page 58
Logic Equations......Page 78
Solutions......Page 85
Differentials......Page 91
Derivatives......Page 98
Applications......Page 104
Solutions......Page 112
Tasks......Page 120
Solutions......Page 122
front-matter_3.pdf......Page 124
Propositional Logics......Page 125
Solutions......Page 134
The Circuit Model......Page 149
Analysis......Page 154
Design......Page 159
Test......Page 176
Solutions......Page 181
The Circuit Model......Page 209
Analysis......Page 214
Design......Page 217
Solutions......Page 225
References......Page 241
Index......Page 243