Boolean Algebra
The mathematical foundation of Digital
Logic
The simplest kind of logic
It is defined with a set of axioms
Axioms!?!?!
It is a 2300 year old fashion to use axioms to
found theories
The idea is that once you have a complete set
of axio

Decoders. Encoders
If there are decoders, there must be
encoders too!
They must have 2^N inputs and N outputs
If the Kth input is true, then the the N outputs
form the binary number K
Truth Table
D0 . D7
xyz
10000000
01000000
00100000
00010000
00001000
00

Register Transfer Level
Something between the logic level and the
architecture level
A convenient way to describe synchronous
sequential systems
State diagrams for pros
Hierarchy of Designs
The design of a digital system happens in
many different leve

Taif University
Digital Logic Design
503220-3
Assignment 3
College of Computers & Information Technology
Department of Computer Engineering
[3.1]
Simplify the following Boolean functions, using three-variable maps:
(a)
(b)
(c)
(d)
[3.2] Simplify the follo