Pragmatic Logic presents the analysis and design of digital logic systems. The study of logic circuits is divided into two parts, combinational logic, which has no memory, and sequential logic, which does. The text ends with an introduction to digital logic design using Verilog, a hardware description language.