Logic Design 2021

Sheet 2

1. Prove the following theorems algebraically:

(a) 𝑋( 𝑋 ′ + 𝑌) = 𝑋𝑌 (b) 𝑋 + 𝑋𝑌 = 𝑋
(b) 𝑋𝑌 + 𝑋𝑌 ′ = 𝑋 (d) (𝐴 + 𝐵)(𝐴 + 𝐵′ ) = 𝐴

2. Illustrate the following theorems using circuits of switches:

(a) 𝑋 + 𝑋𝑌 = 𝑋 (b) 𝑋 + 𝑌𝑍 = (𝑋 + 𝑌)(𝑋 + 𝑍)
In each case, explain why the circuits are equivalent.

3. Simplify each of the following expressions by applying one of the theorems.

State the theorem used.
(a) (𝐴𝐵′ + 𝐶𝐷)(𝐵′ 𝐸 + 𝐶𝐷)
(b) 𝐴𝐶𝐹 + 𝐴𝐶 ′ 𝐹
(c) 𝐴(𝐶 + 𝐷′ 𝐵) + 𝐴 ′
(d) (𝐴′ 𝐵 + 𝐶 + 𝐷)(𝐴′ 𝐵 + 𝐷)

4. For each of the following circuits, find the output and design a simpler circuit
having the same output.

1
Logic Design 2021
5. Draw a circuit that uses only one AND gate and one OR gate to realize each of
the following functions:

(a) (𝐴 + 𝐵 + 𝐶 + 𝐷)(𝐴 + 𝐵 + 𝐶 + 𝐸)(𝐴 + 𝐵 + 𝐶 + 𝐹)

(b) 𝑊𝑋𝑌𝑍 + 𝑉𝑋𝑌𝑍 + 𝑈𝑋𝑌𝑍

6. Find F and simplify:

7. Draw a circuit that uses only one AND gate and one OR gate to realize each of
the following functions:

(a) 𝐴𝐵𝐶𝐹 + 𝐴𝐶𝐸𝐹 + 𝐴𝐶𝐷𝐹

(b) (𝑉 + 𝑊 + 𝑌 + 𝑍)(𝑈 + 𝑊 + 𝑌 + 𝑍)(𝑊 + 𝑋 + 𝑌 + 𝑍)

8. In the following circuit, 𝐹 = (𝐴′ + 𝐵)𝐶. Give a truth table for G so that H is
as specified in its truth table.

9. Draw a circuit that uses two OR gates and two AND gates to realize the
following function:
𝐹 = (𝑉 + 𝑊 + 𝑋)(𝑉 + 𝑋 + 𝑌)(𝑉 + 𝑍)

2
Logic Design 2021

10. Draw a circuit to realize the function:

𝐹 = 𝐴𝐵𝐶 + 𝐴 ′ 𝐵𝐶 + 𝐴𝐵 ′ 𝐶 + 𝐴𝐵𝐶 ′
(a) using one OR gate and three AND gates. The AND gates should have
two inputs.
(b) using two OR gates and two AND gates. All of the gates should have
two inputs.

3
Logic Design 2021