Skip to Content
Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL
book

Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL

by Mohammed Ferdjallah
July 2011
Intermediate to advanced content levelIntermediate to advanced
225 pages
6h 22m
English
Wiley
Content preview from Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL

3.4 BOOLEAN AXIOMS AND THEOREMS

The basic logic operations include logic sum, logic product, and logic complement. If a logic variable is true, its logic complement is false. The following set of logic expressions illustrates the axioms of Boolean algebra:

  • 0 * 0 = 0
  • 0 + 0 = 0
  • 1 * 1 = 1
  • 1 + 1 = 1
  • 0 * 1 = 1 * 0 = 0
  • 0 + 1 = 1 + 0 = 1
  • if x = 0, then images = 1
  • if x = 1; then images = 0

The character (*) represents the AND logic product, and the character (+) stands for the OR logic sum. A bar over a character represents the NOT logic. From these logic axioms, basic Boolean identities were formulated. The following expressions illustrate these identities.

Identity Property

  • x + 0 = x
  • x * 1 = x
  • x + 1 = 1
  • x * 0 = 0

Idempotent Property

  • x + x = x
  • x * x = x

Complement Property

  • x + images = 1
  • x * images = 0

Involution Property

images

Commutative Property

  • x + y = y + x
  • x * y = y * x

Associative Property

  • x + (y + z) = (x + y) + z
  • x * (y * z) = (x * y) * z

Distributive Property

  • x * (y + z) = (x * y) + (x * z)
  • x + (y * ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Digital Systems Design with FPGAs and CPLDs

Digital Systems Design with FPGAs and CPLDs

Ian Grout
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

Jean-Pierre Deschamps, Gery J.A. Bioul, Gustavo D. Sutter

Publisher Resources

ISBN: 9780470900550Purchase book