Definitions and Basic Properties

Abstract

This chapter presents basic definitions used in two-valued logic. The theory of finite state machines is also included. The structure of complex programmable logic devices is presented with example configurations. When the number of implicants exceeds the number of terms, product term expansion is needed. A review of different methods of product term expansion is presented. Finally, the technology-dependent logic synthesis is signaled by means of a few examples.