Part I Theoretical Foundations 1. Basic Algebraic Structures 2. Logic Functions 3. Logic Equations 4. Boolean Differential Calculus 5. Sets, Lattices, and Classes Logic Functions Part II Applications 6. Logics, Arithmetic, and Special Functions 7. SAT-Problems 8. Extremely Complex Problems 9. Combinational Circuits 10. Sequential Circuits References Index ukryj opis