An exploration of both the traditional topics of logic design and the various new topics and approaches that address the special problems posed by VLSI. The author outlines a new method for computation of maximum compatible classes and for information of state tables of sequential machines. In addition he discusses important results as rigorously proved theorems; includes a detailed discussion of the Quine-McClusky method; considers PLA minimization and folding methods; and explores design for testability, built-in self test and LSSD methods. This text is for students on senior/graduate level courses in logic design, switching theory or digital system design.