Logic for Computer Science

  1. Applications in Hardware Design
    1. Boolean Algebra
      1. Boolean Variables and Operations
        1. Laws of Boolean Algebra
          1. Commutative Laws
            1. Associative Laws
              1. Distributive Laws
                1. Identity Laws
                  1. Complement Laws
                    1. De Morgan's Laws
                    2. Boolean Functions
                      1. Truth Tables for Boolean Functions
                        1. Canonical Forms
                        2. Simplification Techniques
                          1. Algebraic Simplification
                            1. Karnaugh Maps
                              1. Quine-McCluskey Method
                            2. Logic Gates
                              1. Basic Gates
                                1. AND Gate
                                  1. OR Gate
                                    1. NOT Gate
                                      1. Buffer Gate
                                      2. Derived Gates
                                        1. NAND Gate
                                          1. NOR Gate
                                            1. XOR Gate
                                              1. XNOR Gate
                                              2. Universal Gates
                                                1. NAND as Universal Gate
                                                  1. NOR as Universal Gate
                                                  2. Gate-Level Implementation
                                                    1. Transistor Implementation
                                                      1. Propagation Delay
                                                        1. Fan-in and Fan-out
                                                      2. Combinational Circuits
                                                        1. Definition and Properties
                                                          1. Analysis of Combinational Circuits
                                                            1. Design of Combinational Circuits
                                                              1. Arithmetic Circuits
                                                                1. Half Adder
                                                                  1. Full Adder
                                                                    1. Ripple Carry Adder
                                                                      1. Subtractors
                                                                        1. Multipliers
                                                                        2. Data Processing Circuits
                                                                          1. Multiplexers
                                                                            1. Demultiplexers
                                                                              1. Encoders
                                                                                1. Decoders
                                                                                  1. Comparators
                                                                                2. Sequential Circuits
                                                                                  1. Definition and Properties
                                                                                    1. Memory Elements
                                                                                      1. Latches
                                                                                        1. SR Latch
                                                                                          1. D Latch
                                                                                            1. JK Latch
                                                                                            2. Flip-Flops
                                                                                              1. SR Flip-Flop
                                                                                                1. D Flip-Flop
                                                                                                  1. JK Flip-Flop
                                                                                                    1. T Flip-Flop
                                                                                                  2. Sequential Circuit Analysis
                                                                                                    1. Sequential Circuit Design
                                                                                                      1. Counters and Registers
                                                                                                        1. Binary Counters
                                                                                                          1. Shift Registers
                                                                                                        2. Circuit Optimization
                                                                                                          1. Cost Functions
                                                                                                            1. Two-Level Minimization
                                                                                                              1. Karnaugh Maps
                                                                                                                1. Quine-McCluskey Algorithm
                                                                                                                2. Multi-Level Minimization
                                                                                                                  1. Technology Mapping

                                                                                                                Previous

                                                                                                                5. Logic and Computation

                                                                                                                Go to top

                                                                                                                Next

                                                                                                                7. Applications in Software Engineering and Verification