Session_02_Boolean Algebra
Session_02_Boolean Algebra
Session – 02
AIM OF THE SESSION
To familiarize students with the basic concept of Boolean Algebra laws and optimization methods.
INSTRUCTIONAL OBJECTIVES
This Session is designed to:
1. Develop a comprehensive understanding of Boolean algebra, including its fundamental operations, laws, and theorems, to analyze
and simplify complex logical expressions and circuits.
2. Acquire the skills to apply Boolean algebra in the design and optimization of digital circuits, fostering the ability to manipulate
logical symbols and equations to achieve desired logical outcomes efficiently.
LEARNING OUTCOMES
• Boolean algebra defines laws and theorems which can be used for simplification of logic functions.
Complement of a variable
ഥ ” or (x’) .
Example: For a variable “ 𝒙 ”, the complement is “ 𝒙
𝒂) 𝒙 + 𝟎 = 𝟎 + 𝒙 = 𝒙 𝒃) 𝒙 . 𝟏 = 𝟏 . 𝒙 = 𝒙 ഥ= 𝟏
𝒄) 𝒙 + 𝒙 ഥ= 𝟎
𝒅) 𝒙 . 𝒙
𝒆) 𝒙 + 𝒙 = 𝒙 𝒇) 𝒙 . 𝒙 = 𝒙 𝒈) 𝒙 + 𝟏 = 𝟏 𝒉) 𝒙 . 𝟎 = 𝟎
BOOLEAN ALGEBRA THEOREMS - MULTIVARIABLE
𝒂) 𝒙 + 𝒚 = 𝒚 + 𝒙 𝒃) 𝒙 . 𝒚 = 𝒚 . 𝒙 𝒄) 𝒙. ( 𝒚 + 𝒛 ) = 𝒙 . 𝒚 + 𝒙 . 𝒛
𝒅) 𝒙 + 𝒚 .𝒛 = 𝒙 + 𝒚 . 𝒙 + 𝒛 𝒆) 𝒙 + 𝒙 . 𝒚 = 𝒙
ഥ + 𝒙 .𝒚 = 𝒙
𝒇) 𝒙 ഥ+ 𝒚 𝑷𝒓𝒐𝒐𝒇: ഥ𝒙 + 𝒙 . 𝒚 = 𝒙
ഥ (𝟏) + 𝒙 . 𝒚
ഥ (𝟏 + 𝒚) + 𝒙 . 𝒚
=𝒙
ഥ +𝒙
=𝒙 ഥ 𝒚 + 𝒙 .𝒚
ഥ + 𝒚 (ഥ
=𝒙 𝒙 + 𝒙)
ഥ + 𝒚 (𝟏)
=𝒙
ഥ +𝒚
=𝒙
ഥ. 𝒚 = 𝒙 + 𝒚
𝒈)𝒙 + 𝒙
DEMORGAN’S THEOREMS
Theorem 1: ഥ + Bത
A.B=A Theorem 2: ഥ .Bത
A+B=A
A B A .B A . B ഥ
A ഥ
B ഥ +B
A ഥ A B A+B A+B ഥ
A ഥ
B ഥ .B
A ഥ
0 0 0 1 1 1 1 0 0 0 1 1 1 1
0 1 0 1 1 0 1 0 1 1 0 1 0 0
1 0 0 1 0 1 1 1 0 1 0 0 1 0
1 1 1 0 0 0 0 1 1 1 0 0 0 0
BOOLEAN PROPERTIES
Commutative 𝑨 .𝑩 = 𝑩 .𝑨 𝑨 + 𝑩 = 𝑩 +𝑨
Associative (𝑨 . 𝑩) . 𝑪 = 𝑨 . (𝑩 . 𝑪) (𝑨 + 𝑩) + 𝑪 = 𝑨 + (𝑩 + 𝑪)
Distributive 𝑨 . (𝑩 + 𝑪) = 𝑨 . 𝑩 + (A . C) 𝑨 + (𝑩 . 𝑪) = 𝑨 + 𝑩 . (A + C)
Identity 𝑨 .𝟏 = 𝑨 𝑨 + 𝟎 = 𝑨
Complement ഥ =𝟎
𝑨. 𝑨 ഥ =1
𝑨 + 𝑨
De Morgan’s law ഥ + Bത
A.B=A ഥ . Bത
A+B=A
EXAMPLE - COMPLEMENT OF A FUNCTION
Given
(a) 0
(b) 1
(c) A
(d) B
(a) A.B
(b) A+B
(c) A’. B’
(d) A’+B’
SELF-ASSESSMENT QUESTIONS
3. Which Boolean Algebra law states that changing the order of operands in an AND operation does not
affect the result?
Reference Books:
1. Computer System Architecture by M. Morris Mano
2. Fundamentals of Digital Logic with Verilog HDL by Stephen Brown and ZvonkoVranesic