SlideShare a Scribd company logo
1 of 37
Boolean Algebra
By,
Neethu Anna Issac
Assistant Professor
ECE department
KCG College of Technology
Introduction
Boolean Algebra Terminology
1) Variable
Symbol which represent an arbitrary element of Boolean algebra
Eg: Y = A.B + C.D
Here,
Variables – A,B,C,D (value can be 0 or 1)
Function – Y (value 0 or 1 depends on expression AB + CD)
2) Constant
It’s value is fixed
Y = A.B + 1
Here,
1 is a constant
Boolean Algebra Terminology (cntd.)
3) Complement
Inverse of a variable or symbol
Represented by a ‘bar’ ( ‾ )or ‘prime’ ( ′ ) symbol
Complement of A is A’
4) Literal
Each occurrence of a variable in Boolean function
Can be either in complemented or uncomplemented form
F = A.B + B’.C
3 – variables, 4- literals
5) Boolean Function
Constructed by connecting the Boolean constants and variables with the boolean operators
Eg: f(A,B,C) = A.B’ + C or f = A.B’ + C
Boolean Postulates and Laws
1.(a) Closure with respect to the operator +
(b) Closure with respect to operator .
Eg: If a and b are elements of a closed set of natural numbers,N = {1,2,3,4,………..},
Then, a + b = c also ɛ N
Similarly, , a . b = c also ɛ N
2. (a) An identity element wrt + , designated by 0
x + 0 = 0 + x = x (Identity Law)
(b) An identity element wrt . , designated by 1
x . 1 = 1 . x = x (Identity Law)
Boolean Postulates and Laws(cntd.)
3.(a) Commutative with respect to +
x + y = y + x
(b) Commutative with respect to .
x . y = y . x
4.(a) . is distributive over +
x . (y + z) = (x . y) + (x . z)
(b) + is distributive over .
x + (y . z) = (x + y) . (x + z)
Boolean Postulates and Laws(cntd.)
5. For every element x ɛ B, there exists an element x’ ɛ B (called the complement of x)
such that
(a) x + x’ = 1
(b) x . x’ = 0
6. There exists atleast two elements x , y ɛ B such that x ≠ y
Proof for Boolean laws and postulates
Consider a set of two elements B = {0,1}.
Two binary operators + or . to prove the postulates.
AND (logical multiplication)
x y x.y
0 0 0
0 1 0
1 0 0
1 1 1
x y x+y
0 0 0
0 1 1
1 0 1
1 1 1
OR(logical addition)
A A’
0 1
1 0
NOT
Proof for Boolean laws and postulates(cntd.)
1. Closure :
x + y ɛ B
x . y ɛ B
Since the result of each operation is either 1 or 0
2. Identity Property
(a) 0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
So, x + 0 = x
(b) 1 . 1 = 1
0 . 1 = 0
1 . 0 = 0 So, x . 1 = x
Proof for Boolean laws and postulates(cntd.)
3. Commutative laws are obvious
x + y = y + x eg: 0 + 1 = 1 + 0 = 1
x . y = y . x eg: 0 . 1 = 1 . 0 = 0
4. Distributive Law1
x . (y + z) = (x . y) + (x . z)
Proof:
Truth Table
x y z y+z x.(y+z) x.y x.z x.y + x.z
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 1
Proof for Boolean laws and postulates(cntd.)
Distributive law2:
x + (y . z) = (x + y) . (x + z)
Proof:
Truth Table
x y z y.z x+(y.z) x+y x+z (x+y) . (x+z)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1
Proof for Boolean laws and postulates(cntd.)
5. Complement Law:
(a) x + x’ = 1
0 + 0’ = 0 + 1 = 1
1 + 1’ = 1 + 0 = 1
(b) x . x’ = 0
0 . 0’ = 0 . 1 = 0
1 . 1’ = 1 . 0 = 0
6. There exists two elements 1,0 ɛ B such that 1 ≠ 0
PRINCIPLE OF DUALITY
 Principal of Duality states that:
A Boolean relation can be derived from another Boolean relation by,
(i) Changing each OR sign to an AND sign
(ii) Changing each AND sign to an OR sign
(iii) Complementing any 0 or 1 appearing in the expression
Eg: Dual of A + A’ = 1 is A . A’ = 0
Dual of A . (B+C) =0 is A +(B.C) = 1
Basic Theorems:
1. Idempotent Theorem
(a) x + x = x
(b) x . x = x
2. Annulment Theorem
(a) x + 1 = 1
(b) x . 0 = 0
3. Involution or Double Inversion Theorem
(x’)’ = x
Basic Theorems(cntd):
4. Associative Law
(a) x + (y + z) = (x + y) + z
(b) x . (y . z) = (x . y) . z
5. Absorption Law
(a) x + x.y = x
(b) x . (x + y) = x
6. Redundant Literal Rule
(a) x + x’.y = x + y
(b) x . (x’ + y) = x.y
Basic Theorems(cntd):
7. Demorgan’s Theorem
(a) (x + y)’ = x’ . y’
(b) (x . y)’ = x’ + y’
8. Consensus Theorem
(a) x.y + x’.z + y.z = x.y + x’.z
(b) (x + y) . (x’ + z) . (y + z) = (x + y) . (x’ + z)
Proof for Boolean Theorems
1. Idempotent Theorem
(a) x + x = x
We have,
x + x = (x + x).1 ( x.1 = x)
= (x + x).(x + x’) ( x + x’ = 1)
= x + x.x’ ( (x+y).(x+z)=x+y.z, by distributive law)
= x + 0 ( x.x’ = 0)
= x
(b) x . x = x
We have,
x . x = (x . x) + 0 ( x + 0 = x)
= (x . x) + (x . x’) (x . x’ = 0)
= x . (x + x’) ( (x.y)+(x.z)=x.(y+z),by distributive law )
= x . 1 (x + x’ = 1)
= x




Proof for Boolean Theorems(cntd.)
(2) Annulment Theorem
(a) x + 1 = 1
We know,
x + 1 = 1 . (x + 1) (1.x = x)
= (x + x’) . (x + 1) (x + x’ = 1)
= x + (x’ .1) ( (x+y).(x+z)=x+y.z,by distributive law )
= x + x’ (x.1 = x)
= 1
(b) x . 0 = 0
We know,
x . 0 = 0 + (x . 0) (0 + x = x)
= (x . x’) + (x . 0) (x . x’ = 0)
= x . (x’ + 0) ( (x.y)+(x.z)=x.(y+z),by distributive law )
= x . x’ (x + 0 = x)
= 0
Proof for Boolean Theorems(cntd.)
3. Involution or Double Inversion Theorem
(x’)’ = x
Proof: Let x =1 ;
then, x’ = 1’ = 0
(x’)’ = 0’ = 1
ie, (x’)’ = x
Similarly, if x = 0 ;
then, x’ = 0’ = 1
(x’)’ = 1’ = 0
ie, (x’)’ = x
Proof for Boolean Theorems(cntd.)
4. Associative Law
(a) x + (y + z) = (x + y) + z
Proof:
Truth Table
x y z y+z x+(y+z) x+y (x+y)+z
0 0 0 0 0 0 0
0 0 1 1 1 0 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 0 1 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
Proof for Boolean Theorems(cntd.)
4. Associative Law
(b) x . (y . z) = (x . y) . z
Proof:
Truth Table
x y z y.z x.(y.z) x.y (x.y).z
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 0 0 0
0 1 1 1 0 0 0
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 0 0 1 0
1 1 1 1 1 1 1
Proof for Boolean Theorems(cntd.)
5. Absorption Law
(a) x + x.y = x
x + x.y = x.1 + x.y ( x.1 = x)
= x . (1 + y) ( (x.y)+(x.z) = x.(y+z), by distributive law )
= x . (y + 1) (x + y = y + x, by commutative law)
= x . 1 ( x + 1 = 1)
= x
(b) x . (x + y) = x
x . (x + y) = (x + 0) . (x + y) (x+0 = x)
= x + (0 . y) ( (x+y).(x+z) = x+y.z, by distributive law )
= x + (y . 0) ( x . y = y . x, by commutative law)
= x + 0 ( x . 0 = 0)
= x
Proof for Boolean Theorems(cntd.)
6. Redundant Literal Rule
(a) x + x’.y = x + y
x + x’.y = (x + x’).(x + y) ( x + y . z = (x + y).(x + z), by distributive law)
= 1. (x + y) (x + x’ = 1)
= x + y (1.x = x)
(b) x . (x’ + y) = x . y
x . (x’ + y) = (x . x’) + (x . y) (x . (y + z) = (x.y)+(x.z), by distributive law)
= 0 + (x . y) (x . x’ = 0)
= x . y (0 + x = x)
Proof for Boolean Theorems(cntd.)
7. DeMorgan’s Theorem
Theorem 1: The complement of a product is equal to the sum of complement of
each term.
(A.B)’ = A’ + B’
Proof:
Truth Table
A B A’ B’ A.B (A.B)’ A’ + B’
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
Logic Diagram
Proof for Boolean Theorems(cntd.)
7. DeMorgan’s Theorem
Theorem 2: The complement of a sum is equal to the product of complement of
each term.
(A + B)’ = A’ . B’
Proof:
Truth Table
A B A’ B’ A + B (A + B)’ A’ . B’
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
Logic Diagram
Proof for Boolean Theorems(cntd.)
8. Consensus Theorem
(a) x.y + x’.z + y.z = x.y + x’.z
Proof:
x.y + x’.z + y.z
= x.y + x’.z + y.z(x + x’)
= x.y + x’.z + y.z.x + y.z.x’
= x.y + x’.z + x.y.z + x’.y.z
= x.y(1 + z) + x’.z(1 + y) (by distributive law)
= x.y + x’.z (1 + x = 1)
(b) (x + y).(x’ + z).(y + z) = (x + y).(x’ + z)
Proof: We have, x.y + x’.z + y.z = x.y + x’.z
By applying Principle of Duality,
(x + y).(x’ + z).(y + z) = (x + y).(x’ + z)
Minimise the following Boolean functions using
Boolean laws and theorems
1) A.A’.C
= 0.C ( A.A’ = 0)
= 0
2) ABCD + ABD
= ABD ( C + 1) (By distributive law)
= ABD
3) ABCD + AB’CD
= ACD(B + B’) (By distributive law)
= ACD.1
=ACD

Minimise the following Boolean functions
using Boolean laws and theorems
4) A.(A +B)
=A.A + A.B (By distributive law)
= A + A.B ( A.A = A)
= A (By absorption Law)
5) AB + ABC + ABC’ + A’BC
= AB ( 1 + C + C’) + A’BC
= AB (1) + A’BC
= AB + A’BC
= B (A + A’C)
= B (A + C) (x + x’y = x + y)
= BA + BC
= AB + BC

Minimise the following Boolean functions
using Boolean laws and theorems
6) A’B’C’ + A’BC’ + A’BC
= A’C’ (B’ + B) + A’BC
= A’C’ .(1) + A’BC
= A’C’ + A’BC
= A’ (C’ + BC)
= A’ (C’ + B) (x + x’y = x + y)
= A’C’ + A’B
7) A’BCD’ + BCD’ + BC’D’ +BC’D
= BCD’(A’ + 1) + BC’(D’ + D)
= BCD’ + BC’ (x + 1 = 1 and x + x’ = 1)
= B (CD’ + C’)
= B (C’ + D’) (x + x’y = x + y)
= BC’ + BD’
Minimise the following Boolean functions
using Boolean laws and theorems
8) ((AB)’ + A’ + AB)’
= ((A’ + B’) + A’ + AB)’ (DeMorgan’s theorem, (xy)’ = x’ + y’)
= (A’ + B’ + A’ + AB)’
= (A’ + B’ + AB)’ ( x + x = x)
= (A’ + B’ + A)’ ( x + x’y = x + y)
= (1 + B’)’ ( x + x’ = 1)
= (1)’ (1 + x = 1)
= 0
9) (A + BC’)’
= A’ . (BC’)’ (DeMorgan’s theorem, (x + y)’ = x’.y’)
= A’ . (B’ + C) (DeMorgan’s theorem, (xy)’ = x’ + y’)
= A’B’ + A’C (By distributive law)
Minimise the following Boolean functions
using Boolean laws and theorems
10) (x + y).(x + y’)
= x.x + x.y’ + y.x + y.y’
= x + x.y’ + y.x + 0 (A.A = A and A.A’ = 0)
= x ( 1 + y’ + y) ( 1 + A = 1)
= x
11) Find the complement of A + BC + AB
F = (A + BC + AB)’ = (A + BC + AB)’
= (A + BC)’ ( x + x.y = x )
= (A’ . (BC)’) (DeMorgan’s theorem, (x + y)’ = x’.y’)
= A’ .(B’ + C’) (DeMorgan’s theorem, (xy)’ = x’ + y’)
= A’B’ + A’C’ (By distributive law)
Minimise the following Boolean functions
using Boolean laws and theorems
12) AB + (AC)’ + AB’C (AB + C)
= AB + (AC)’ + AB’CAB + AB’CC (by distributive law)
= AB + (AC)’ + 0 + AB’C (B’.B = 0 and C.C = C)
= AB + A’ + C’ + AB’C (DeMorgan’s Theorem, (xy)’ = x’ + y’)
= A’ + B + C’ + AB’ ( x + x’y = x + y)
= A’ + C’ + B + A ( x + x’y = x + y)
= 1 + C’ + B ( A + A’ = 1)
= 1 ( 1 + x = 1)
13) ((A + B + C).D)’
= (A + B + C)’ + D’ (DeMorgan’s theorem, (xy)’ = x’ + y’)
= A’.B’.C’ + D’ (DeMorgan’s theorem, (x + y + z)’ = x’.y’.z’)
Minimise the following Boolean functions
using Boolean laws and theorems
14) W’X (Z’ + YZ) + X(W + Y’Z)
= W’X (Z’ + Y) + X(W + Y’Z) (A + A’B = A + B)
= W’XZ’ + W’XY + XW + XY’Z (By distributive law)
= X ( W’Z’ + W’Y + W + Y’Z)
= X ( W’Z’ + W + Y + Y’Z) (A + A’B = A + B)
= X ( W + Z’ + Y + Z) (A + A’B = A + B)
= X ( W + Y + 1) (A + A’ = 1)
= X(1) (A + 1 = 1)
= X
15) Prove the following using DeMorgan’s Theorem:
(a) AB + CD = ((AB)’.(CD)’)’
(b) (A + B).(C + D) = ((A + B)’ + (C + D)’)’
Solution:
(a) LHS : AB + CD
By Involution Theorem, x’’ = x
So, AB + CD = (AB + CD)’’
Applying DeMorgan’s Theorem, (x + y)’ = x’ . y’,
we get, (AB + CD)’’ = ((AB)’ . (CD)’)’
(B) LHS : (A + B) . (C + D)
By Involution Theorem, x’’ = x
So, (A + B) . (C + D) = ( (A + B) . (C + D) )’’
Applying DeMorgan’s Theorem, (x . y)’ = x’ + y’,
we get, ( (A + B) . (C + D) )’’ = ((A + B)’ + (C + D)’)’
16) If A and B are Boolean variables and if A = 1 and (A + B)’ = 0, find B.
Solution:
Given,
(A + B)’ = 0 and A = 1
(A + B)’ = 0 , So, A + B = 1
Substituting value of A in the above expression, we get,
1 + B = 1
We know, 1 + 0 = 1
and 1 + 1 = 1
So, B can be either 0 or 1
Minimise the following Boolean functions
using Boolean laws and theorems
17) x’y’z’ + x’yz + xy’z’ + xyz’
= x’y’z’ + x’yz + xz’(y’ + y)
= x’y’z’ + x’yz + xz’
= z’ (x’y’ + x) + x’yz
= z’ (x + y’) + x’yz
= z’x + z’y’ + x’yz
= xz’ + y’z’ + x’yz
18) Prove that (x1 + x2).(x1’.x3’ + x3).(x2’ + x1x3)’ = x1’.x2
See ‘DPSD Video 1.1 Minimization using Boolean Laws and Theorems’
Minimise the following Boolean functions
using Boolean laws and theorems
19) Prove that ( A + B).(A’C’ + C).(B’ + AC)’ = A’B
Solution:
( A + B).(A’C’ + C).(B’ + AC)’
= (A + B).(A’C’ + C).[B’’ . (AC)’]
= (A + B).(A’C’ + C).[B . (A’ + C’)]
= (A + B).(C + A’).(BA’ + BC’)
= (AC + AA’ + BC + BA’).(BA’ + BC’)
= (AC + BC + BA’).(BA’ + BC’)
= ACBA’ + BCBA’ + BA’BA’ + ACBC’ + BCBC’ + BA’BC’
= A’BC + A’B + A’BC’
= A’B(C + 1 + C’)
= A’B

More Related Content

Similar to Boolean Algebra logic and De Morgan theorem

Introduction-to-Boolean-Algebra.ppt
Introduction-to-Boolean-Algebra.pptIntroduction-to-Boolean-Algebra.ppt
Introduction-to-Boolean-Algebra.pptSanjay446332
 
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.fernandovargas497457
 
Logic Design - Chapter 3: Boolean Algebra
Logic Design - Chapter 3: Boolean AlgebraLogic Design - Chapter 3: Boolean Algebra
Logic Design - Chapter 3: Boolean AlgebraGouda Mando
 
Chapter_2_Boolean_Algebra_and_Logic_Gates.ppt
Chapter_2_Boolean_Algebra_and_Logic_Gates.pptChapter_2_Boolean_Algebra_and_Logic_Gates.ppt
Chapter_2_Boolean_Algebra_and_Logic_Gates.pptMdTahsinAmin2
 
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).pptDediTriLaksono1
 
03 boolean algebra
03 boolean algebra03 boolean algebra
03 boolean algebrachaturape
 
2.hyperbolic functions Further Mathematics Zimbabwe Zimsec Cambridge
2.hyperbolic functions  Further Mathematics Zimbabwe Zimsec Cambridge2.hyperbolic functions  Further Mathematics Zimbabwe Zimsec Cambridge
2.hyperbolic functions Further Mathematics Zimbabwe Zimsec Cambridgealproelearning
 
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theoremsarunachalamr16
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptxMitKumar2
 
CArcMOOC 03.01 - Boolean algebra and Logic Synthesis
CArcMOOC 03.01 - Boolean algebra and Logic SynthesisCArcMOOC 03.01 - Boolean algebra and Logic Synthesis
CArcMOOC 03.01 - Boolean algebra and Logic SynthesisAlessandro Bogliolo
 
Boolean expression org.
Boolean expression org.Boolean expression org.
Boolean expression org.mshoaib15
 

Similar to Boolean Algebra logic and De Morgan theorem (20)

Theorems in DE
Theorems in DETheorems in DE
Theorems in DE
 
Introduction-to-Boolean-Algebra.ppt
Introduction-to-Boolean-Algebra.pptIntroduction-to-Boolean-Algebra.ppt
Introduction-to-Boolean-Algebra.ppt
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
 
BOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.pptBOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.ppt
 
boolean.pdf
boolean.pdfboolean.pdf
boolean.pdf
 
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
 
Logic Design - Chapter 3: Boolean Algebra
Logic Design - Chapter 3: Boolean AlgebraLogic Design - Chapter 3: Boolean Algebra
Logic Design - Chapter 3: Boolean Algebra
 
Chapter_2_Boolean_Algebra_and_Logic_Gates.ppt
Chapter_2_Boolean_Algebra_and_Logic_Gates.pptChapter_2_Boolean_Algebra_and_Logic_Gates.ppt
Chapter_2_Boolean_Algebra_and_Logic_Gates.ppt
 
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean Algebra
 
Lecture 1
Lecture 1Lecture 1
Lecture 1
 
03 boolean algebra
03 boolean algebra03 boolean algebra
03 boolean algebra
 
2.hyperbolic functions Further Mathematics Zimbabwe Zimsec Cambridge
2.hyperbolic functions  Further Mathematics Zimbabwe Zimsec Cambridge2.hyperbolic functions  Further Mathematics Zimbabwe Zimsec Cambridge
2.hyperbolic functions Further Mathematics Zimbabwe Zimsec Cambridge
 
Digital logic circuits
Digital  logic  circuitsDigital  logic  circuits
Digital logic circuits
 
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptx
 
CArcMOOC 03.01 - Boolean algebra and Logic Synthesis
CArcMOOC 03.01 - Boolean algebra and Logic SynthesisCArcMOOC 03.01 - Boolean algebra and Logic Synthesis
CArcMOOC 03.01 - Boolean algebra and Logic Synthesis
 
Boolean
BooleanBoolean
Boolean
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
Boolean expression org.
Boolean expression org.Boolean expression org.
Boolean expression org.
 

Recently uploaded

Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxpurnimasatapathy1234
 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130Suhani Kapoor
 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )Tsuyoshi Horigome
 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024Mark Billinghurst
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfAsst.prof M.Gokilavani
 
Introduction to Microprocesso programming and interfacing.pptx
Introduction to Microprocesso programming and interfacing.pptxIntroduction to Microprocesso programming and interfacing.pptx
Introduction to Microprocesso programming and interfacing.pptxvipinkmenon1
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escortsranjana rawat
 
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZTE
 
Heart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxHeart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxPoojaBan
 
Application of Residue Theorem to evaluate real integrations.pptx
Application of Residue Theorem to evaluate real integrations.pptxApplication of Residue Theorem to evaluate real integrations.pptx
Application of Residue Theorem to evaluate real integrations.pptx959SahilShah
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Dr.Costas Sachpazis
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerAnamika Sarkar
 
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...VICTOR MAESTRE RAMIREZ
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile servicerehmti665
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxbritheesh05
 
Current Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLCurrent Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLDeelipZope
 
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝soniya singh
 

Recently uploaded (20)

Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptx
 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )
 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024
 
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
🔝9953056974🔝!!-YOUNG call girls in Rajendra Nagar Escort rvice Shot 2000 nigh...
 
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdfCCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
CCS355 Neural Network & Deep Learning Unit II Notes with Question bank .pdf
 
Introduction to Microprocesso programming and interfacing.pptx
Introduction to Microprocesso programming and interfacing.pptxIntroduction to Microprocesso programming and interfacing.pptx
Introduction to Microprocesso programming and interfacing.pptx
 
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptxExploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
 
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
 
Heart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptxHeart Disease Prediction using machine learning.pptx
Heart Disease Prediction using machine learning.pptx
 
Application of Residue Theorem to evaluate real integrations.pptx
Application of Residue Theorem to evaluate real integrations.pptxApplication of Residue Theorem to evaluate real integrations.pptx
Application of Residue Theorem to evaluate real integrations.pptx
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
 
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube ExchangerStudy on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
Study on Air-Water & Water-Water Heat Exchange in a Finned Tube Exchanger
 
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile service
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptx
 
Current Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLCurrent Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCL
 
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
 

Boolean Algebra logic and De Morgan theorem

  • 1. Boolean Algebra By, Neethu Anna Issac Assistant Professor ECE department KCG College of Technology
  • 3. Boolean Algebra Terminology 1) Variable Symbol which represent an arbitrary element of Boolean algebra Eg: Y = A.B + C.D Here, Variables – A,B,C,D (value can be 0 or 1) Function – Y (value 0 or 1 depends on expression AB + CD) 2) Constant It’s value is fixed Y = A.B + 1 Here, 1 is a constant
  • 4. Boolean Algebra Terminology (cntd.) 3) Complement Inverse of a variable or symbol Represented by a ‘bar’ ( ‾ )or ‘prime’ ( ′ ) symbol Complement of A is A’ 4) Literal Each occurrence of a variable in Boolean function Can be either in complemented or uncomplemented form F = A.B + B’.C 3 – variables, 4- literals 5) Boolean Function Constructed by connecting the Boolean constants and variables with the boolean operators Eg: f(A,B,C) = A.B’ + C or f = A.B’ + C
  • 5. Boolean Postulates and Laws 1.(a) Closure with respect to the operator + (b) Closure with respect to operator . Eg: If a and b are elements of a closed set of natural numbers,N = {1,2,3,4,………..}, Then, a + b = c also ɛ N Similarly, , a . b = c also ɛ N 2. (a) An identity element wrt + , designated by 0 x + 0 = 0 + x = x (Identity Law) (b) An identity element wrt . , designated by 1 x . 1 = 1 . x = x (Identity Law)
  • 6. Boolean Postulates and Laws(cntd.) 3.(a) Commutative with respect to + x + y = y + x (b) Commutative with respect to . x . y = y . x 4.(a) . is distributive over + x . (y + z) = (x . y) + (x . z) (b) + is distributive over . x + (y . z) = (x + y) . (x + z)
  • 7. Boolean Postulates and Laws(cntd.) 5. For every element x ɛ B, there exists an element x’ ɛ B (called the complement of x) such that (a) x + x’ = 1 (b) x . x’ = 0 6. There exists atleast two elements x , y ɛ B such that x ≠ y
  • 8. Proof for Boolean laws and postulates Consider a set of two elements B = {0,1}. Two binary operators + or . to prove the postulates. AND (logical multiplication) x y x.y 0 0 0 0 1 0 1 0 0 1 1 1 x y x+y 0 0 0 0 1 1 1 0 1 1 1 1 OR(logical addition) A A’ 0 1 1 0 NOT
  • 9. Proof for Boolean laws and postulates(cntd.) 1. Closure : x + y ɛ B x . y ɛ B Since the result of each operation is either 1 or 0 2. Identity Property (a) 0 + 0 = 0 0 + 1 = 1 1 + 0 = 1 So, x + 0 = x (b) 1 . 1 = 1 0 . 1 = 0 1 . 0 = 0 So, x . 1 = x
  • 10. Proof for Boolean laws and postulates(cntd.) 3. Commutative laws are obvious x + y = y + x eg: 0 + 1 = 1 + 0 = 1 x . y = y . x eg: 0 . 1 = 1 . 0 = 0 4. Distributive Law1 x . (y + z) = (x . y) + (x . z) Proof: Truth Table x y z y+z x.(y+z) x.y x.z x.y + x.z 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1
  • 11. Proof for Boolean laws and postulates(cntd.) Distributive law2: x + (y . z) = (x + y) . (x + z) Proof: Truth Table x y z y.z x+(y.z) x+y x+z (x+y) . (x+z) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1
  • 12. Proof for Boolean laws and postulates(cntd.) 5. Complement Law: (a) x + x’ = 1 0 + 0’ = 0 + 1 = 1 1 + 1’ = 1 + 0 = 1 (b) x . x’ = 0 0 . 0’ = 0 . 1 = 0 1 . 1’ = 1 . 0 = 0 6. There exists two elements 1,0 ɛ B such that 1 ≠ 0
  • 13. PRINCIPLE OF DUALITY  Principal of Duality states that: A Boolean relation can be derived from another Boolean relation by, (i) Changing each OR sign to an AND sign (ii) Changing each AND sign to an OR sign (iii) Complementing any 0 or 1 appearing in the expression Eg: Dual of A + A’ = 1 is A . A’ = 0 Dual of A . (B+C) =0 is A +(B.C) = 1
  • 14. Basic Theorems: 1. Idempotent Theorem (a) x + x = x (b) x . x = x 2. Annulment Theorem (a) x + 1 = 1 (b) x . 0 = 0 3. Involution or Double Inversion Theorem (x’)’ = x
  • 15. Basic Theorems(cntd): 4. Associative Law (a) x + (y + z) = (x + y) + z (b) x . (y . z) = (x . y) . z 5. Absorption Law (a) x + x.y = x (b) x . (x + y) = x 6. Redundant Literal Rule (a) x + x’.y = x + y (b) x . (x’ + y) = x.y
  • 16. Basic Theorems(cntd): 7. Demorgan’s Theorem (a) (x + y)’ = x’ . y’ (b) (x . y)’ = x’ + y’ 8. Consensus Theorem (a) x.y + x’.z + y.z = x.y + x’.z (b) (x + y) . (x’ + z) . (y + z) = (x + y) . (x’ + z)
  • 17. Proof for Boolean Theorems 1. Idempotent Theorem (a) x + x = x We have, x + x = (x + x).1 ( x.1 = x) = (x + x).(x + x’) ( x + x’ = 1) = x + x.x’ ( (x+y).(x+z)=x+y.z, by distributive law) = x + 0 ( x.x’ = 0) = x (b) x . x = x We have, x . x = (x . x) + 0 ( x + 0 = x) = (x . x) + (x . x’) (x . x’ = 0) = x . (x + x’) ( (x.y)+(x.z)=x.(y+z),by distributive law ) = x . 1 (x + x’ = 1) = x    
  • 18. Proof for Boolean Theorems(cntd.) (2) Annulment Theorem (a) x + 1 = 1 We know, x + 1 = 1 . (x + 1) (1.x = x) = (x + x’) . (x + 1) (x + x’ = 1) = x + (x’ .1) ( (x+y).(x+z)=x+y.z,by distributive law ) = x + x’ (x.1 = x) = 1 (b) x . 0 = 0 We know, x . 0 = 0 + (x . 0) (0 + x = x) = (x . x’) + (x . 0) (x . x’ = 0) = x . (x’ + 0) ( (x.y)+(x.z)=x.(y+z),by distributive law ) = x . x’ (x + 0 = x) = 0
  • 19. Proof for Boolean Theorems(cntd.) 3. Involution or Double Inversion Theorem (x’)’ = x Proof: Let x =1 ; then, x’ = 1’ = 0 (x’)’ = 0’ = 1 ie, (x’)’ = x Similarly, if x = 0 ; then, x’ = 0’ = 1 (x’)’ = 1’ = 0 ie, (x’)’ = x
  • 20. Proof for Boolean Theorems(cntd.) 4. Associative Law (a) x + (y + z) = (x + y) + z Proof: Truth Table x y z y+z x+(y+z) x+y (x+y)+z 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1
  • 21. Proof for Boolean Theorems(cntd.) 4. Associative Law (b) x . (y . z) = (x . y) . z Proof: Truth Table x y z y.z x.(y.z) x.y (x.y).z 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1
  • 22. Proof for Boolean Theorems(cntd.) 5. Absorption Law (a) x + x.y = x x + x.y = x.1 + x.y ( x.1 = x) = x . (1 + y) ( (x.y)+(x.z) = x.(y+z), by distributive law ) = x . (y + 1) (x + y = y + x, by commutative law) = x . 1 ( x + 1 = 1) = x (b) x . (x + y) = x x . (x + y) = (x + 0) . (x + y) (x+0 = x) = x + (0 . y) ( (x+y).(x+z) = x+y.z, by distributive law ) = x + (y . 0) ( x . y = y . x, by commutative law) = x + 0 ( x . 0 = 0) = x
  • 23. Proof for Boolean Theorems(cntd.) 6. Redundant Literal Rule (a) x + x’.y = x + y x + x’.y = (x + x’).(x + y) ( x + y . z = (x + y).(x + z), by distributive law) = 1. (x + y) (x + x’ = 1) = x + y (1.x = x) (b) x . (x’ + y) = x . y x . (x’ + y) = (x . x’) + (x . y) (x . (y + z) = (x.y)+(x.z), by distributive law) = 0 + (x . y) (x . x’ = 0) = x . y (0 + x = x)
  • 24. Proof for Boolean Theorems(cntd.) 7. DeMorgan’s Theorem Theorem 1: The complement of a product is equal to the sum of complement of each term. (A.B)’ = A’ + B’ Proof: Truth Table A B A’ B’ A.B (A.B)’ A’ + B’ 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 Logic Diagram
  • 25. Proof for Boolean Theorems(cntd.) 7. DeMorgan’s Theorem Theorem 2: The complement of a sum is equal to the product of complement of each term. (A + B)’ = A’ . B’ Proof: Truth Table A B A’ B’ A + B (A + B)’ A’ . B’ 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 Logic Diagram
  • 26. Proof for Boolean Theorems(cntd.) 8. Consensus Theorem (a) x.y + x’.z + y.z = x.y + x’.z Proof: x.y + x’.z + y.z = x.y + x’.z + y.z(x + x’) = x.y + x’.z + y.z.x + y.z.x’ = x.y + x’.z + x.y.z + x’.y.z = x.y(1 + z) + x’.z(1 + y) (by distributive law) = x.y + x’.z (1 + x = 1) (b) (x + y).(x’ + z).(y + z) = (x + y).(x’ + z) Proof: We have, x.y + x’.z + y.z = x.y + x’.z By applying Principle of Duality, (x + y).(x’ + z).(y + z) = (x + y).(x’ + z)
  • 27. Minimise the following Boolean functions using Boolean laws and theorems 1) A.A’.C = 0.C ( A.A’ = 0) = 0 2) ABCD + ABD = ABD ( C + 1) (By distributive law) = ABD 3) ABCD + AB’CD = ACD(B + B’) (By distributive law) = ACD.1 =ACD 
  • 28. Minimise the following Boolean functions using Boolean laws and theorems 4) A.(A +B) =A.A + A.B (By distributive law) = A + A.B ( A.A = A) = A (By absorption Law) 5) AB + ABC + ABC’ + A’BC = AB ( 1 + C + C’) + A’BC = AB (1) + A’BC = AB + A’BC = B (A + A’C) = B (A + C) (x + x’y = x + y) = BA + BC = AB + BC 
  • 29. Minimise the following Boolean functions using Boolean laws and theorems 6) A’B’C’ + A’BC’ + A’BC = A’C’ (B’ + B) + A’BC = A’C’ .(1) + A’BC = A’C’ + A’BC = A’ (C’ + BC) = A’ (C’ + B) (x + x’y = x + y) = A’C’ + A’B 7) A’BCD’ + BCD’ + BC’D’ +BC’D = BCD’(A’ + 1) + BC’(D’ + D) = BCD’ + BC’ (x + 1 = 1 and x + x’ = 1) = B (CD’ + C’) = B (C’ + D’) (x + x’y = x + y) = BC’ + BD’
  • 30. Minimise the following Boolean functions using Boolean laws and theorems 8) ((AB)’ + A’ + AB)’ = ((A’ + B’) + A’ + AB)’ (DeMorgan’s theorem, (xy)’ = x’ + y’) = (A’ + B’ + A’ + AB)’ = (A’ + B’ + AB)’ ( x + x = x) = (A’ + B’ + A)’ ( x + x’y = x + y) = (1 + B’)’ ( x + x’ = 1) = (1)’ (1 + x = 1) = 0 9) (A + BC’)’ = A’ . (BC’)’ (DeMorgan’s theorem, (x + y)’ = x’.y’) = A’ . (B’ + C) (DeMorgan’s theorem, (xy)’ = x’ + y’) = A’B’ + A’C (By distributive law)
  • 31. Minimise the following Boolean functions using Boolean laws and theorems 10) (x + y).(x + y’) = x.x + x.y’ + y.x + y.y’ = x + x.y’ + y.x + 0 (A.A = A and A.A’ = 0) = x ( 1 + y’ + y) ( 1 + A = 1) = x 11) Find the complement of A + BC + AB F = (A + BC + AB)’ = (A + BC + AB)’ = (A + BC)’ ( x + x.y = x ) = (A’ . (BC)’) (DeMorgan’s theorem, (x + y)’ = x’.y’) = A’ .(B’ + C’) (DeMorgan’s theorem, (xy)’ = x’ + y’) = A’B’ + A’C’ (By distributive law)
  • 32. Minimise the following Boolean functions using Boolean laws and theorems 12) AB + (AC)’ + AB’C (AB + C) = AB + (AC)’ + AB’CAB + AB’CC (by distributive law) = AB + (AC)’ + 0 + AB’C (B’.B = 0 and C.C = C) = AB + A’ + C’ + AB’C (DeMorgan’s Theorem, (xy)’ = x’ + y’) = A’ + B + C’ + AB’ ( x + x’y = x + y) = A’ + C’ + B + A ( x + x’y = x + y) = 1 + C’ + B ( A + A’ = 1) = 1 ( 1 + x = 1) 13) ((A + B + C).D)’ = (A + B + C)’ + D’ (DeMorgan’s theorem, (xy)’ = x’ + y’) = A’.B’.C’ + D’ (DeMorgan’s theorem, (x + y + z)’ = x’.y’.z’)
  • 33. Minimise the following Boolean functions using Boolean laws and theorems 14) W’X (Z’ + YZ) + X(W + Y’Z) = W’X (Z’ + Y) + X(W + Y’Z) (A + A’B = A + B) = W’XZ’ + W’XY + XW + XY’Z (By distributive law) = X ( W’Z’ + W’Y + W + Y’Z) = X ( W’Z’ + W + Y + Y’Z) (A + A’B = A + B) = X ( W + Z’ + Y + Z) (A + A’B = A + B) = X ( W + Y + 1) (A + A’ = 1) = X(1) (A + 1 = 1) = X
  • 34. 15) Prove the following using DeMorgan’s Theorem: (a) AB + CD = ((AB)’.(CD)’)’ (b) (A + B).(C + D) = ((A + B)’ + (C + D)’)’ Solution: (a) LHS : AB + CD By Involution Theorem, x’’ = x So, AB + CD = (AB + CD)’’ Applying DeMorgan’s Theorem, (x + y)’ = x’ . y’, we get, (AB + CD)’’ = ((AB)’ . (CD)’)’ (B) LHS : (A + B) . (C + D) By Involution Theorem, x’’ = x So, (A + B) . (C + D) = ( (A + B) . (C + D) )’’ Applying DeMorgan’s Theorem, (x . y)’ = x’ + y’, we get, ( (A + B) . (C + D) )’’ = ((A + B)’ + (C + D)’)’
  • 35. 16) If A and B are Boolean variables and if A = 1 and (A + B)’ = 0, find B. Solution: Given, (A + B)’ = 0 and A = 1 (A + B)’ = 0 , So, A + B = 1 Substituting value of A in the above expression, we get, 1 + B = 1 We know, 1 + 0 = 1 and 1 + 1 = 1 So, B can be either 0 or 1
  • 36. Minimise the following Boolean functions using Boolean laws and theorems 17) x’y’z’ + x’yz + xy’z’ + xyz’ = x’y’z’ + x’yz + xz’(y’ + y) = x’y’z’ + x’yz + xz’ = z’ (x’y’ + x) + x’yz = z’ (x + y’) + x’yz = z’x + z’y’ + x’yz = xz’ + y’z’ + x’yz 18) Prove that (x1 + x2).(x1’.x3’ + x3).(x2’ + x1x3)’ = x1’.x2 See ‘DPSD Video 1.1 Minimization using Boolean Laws and Theorems’
  • 37. Minimise the following Boolean functions using Boolean laws and theorems 19) Prove that ( A + B).(A’C’ + C).(B’ + AC)’ = A’B Solution: ( A + B).(A’C’ + C).(B’ + AC)’ = (A + B).(A’C’ + C).[B’’ . (AC)’] = (A + B).(A’C’ + C).[B . (A’ + C’)] = (A + B).(C + A’).(BA’ + BC’) = (AC + AA’ + BC + BA’).(BA’ + BC’) = (AC + BC + BA’).(BA’ + BC’) = ACBA’ + BCBA’ + BA’BA’ + ACBC’ + BCBC’ + BA’BC’ = A’BC + A’B + A’BC’ = A’B(C + 1 + C’) = A’B