Digital logic design

a rigorous approach

Edición de la obra Digital logic design

"Chapter 1 Sets and Functions This chapter introduces two major notions: sets and functions. We are all familiar with real functions, for example f(x} = 2x + 1 and g(x} = sin(x). Here the approach is somewhat different. The first difference is that we do not limit the discussion to the set of real numbers. Instead, we consider arbitrary sets, and are mostly interested in sets that contain only a finite number of elements. The second difference is that we do not define a 'rule" for assigning a value for each x. Instead, a function is simply a list of pairs (x,y), where y denotes the value of the function when the argument equals x. The definition of functions relies on the definitions of sets and relations over sets. That is why we need to define various operations over sets such as: union, intersection, complement, and Cartesian product. The focus of this book is Boolean functions. Boolean functions are a special family of functions. Their arguments and values are finite sequences of zero and ones (also called bits). In this chapter we show how to represent a Boolean function by a truth table and multiplication tables. Other representations presented later in the book are: Boolean formulas and combinational circuits"--