Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-23T07:38:23.775Z Has data issue: false hasContentIssue false

1 - Sets and Functions

from PART I - PRELIMINARIES

Published online by Cambridge University Press:  05 November 2012

Guy Even
Affiliation:
Tel-Aviv University
Moti Medina
Affiliation:
Tel-Aviv University
Get access

Summary

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 0 and 1 (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.

SETS

A set is a collection of objects. When we deal with sets, we usually have a universal set that contains all the possible objects. In this section, we denote the universal set by U.

Type
Chapter
Information
Digital Logic Design
A Rigorous Approach
, pp. 3 - 18
Publisher: Cambridge University Press
Print publication year: 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Sets and Functions
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.002
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Sets and Functions
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.002
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Sets and Functions
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.002
Available formats
×