SlideShare a Scribd company logo
Boolean Algebra Laws and
Theorems
Boolean Algebra is a form of mathematical
algebra that is used in digital logic in digital
electronics. Albebra consists of symbolic
representation of a statement (generally
mathematical statements). Similarly, there are
expressions, equations and functions in Boolean
algebra as well.
Boolean Algebra Laws and Theorems
• The main aim of any logic design is to simplify the
logic as much as possible so that the final
implementation will become easy. In order to simplify
the logic, the Boolean equations and expressions
representing that logic must be simplified.
• So, to simplify the Boolean equations and expression,
there are some laws and theorems proposed. Using
these laws and theorems, it becomes very easy to
simplify or reduce the logical complexities of any
Boolean expression or function.
The article demonstrates some of the most commonly
used laws and theorem is Boolean algebra.
• Basic Laws and Proofs
The basic rules and laws of Boolean algebraic
system are known as “Laws of Boolean algebra”.
Some of the basic laws (rules) of the Boolean
algebra are
• i.Associative law
• ii. Distributive law
• iii. Commutative law
• iv. Absorption law
• v. Consensus law
1.Associative Law
Associate Law of Addition
Statement:
• Associative law of addition states that OR ing more than
two variables i.e. mathematical addition operation
performed on variables will return the same value
irrespective of the grouping of variables in an equation.
It involves in swapping of variables in groups.
The Associative law using OR operator can be
written as
• A+(B+C) = (A+B)+C = A + (B + C) = B + (C + A)
Eg:(0 + 1) + 0 = 0 + (1 + 0)
1 + 0 = 0 + 1
1 = 1
• Associate Law of Multiplication
Statement:
Associative law of multiplication states that
ANDing more than two variables i.e.
mathematical multiplication operation
performed on variables will return the same
value irrespective of the grouping of variables
in an equation.
• The Associative law using AND operator can
be written as
• A * (B * C) = (A * B) * C
• Distributive law
This is the most used and most important law in Boolean
algebra, which involves in 2 operators: AND, OR.
Statement:
• The multiplication of two variables and adding the result
with a variable will result in same value as multiplication
of addition of the variable with individual variables.
• In other words, ANDing two variables and ORing the
result with another variable is equal to AND of ORing of
the variable with the two individual variables.
• Distributive law can be written as
A + BC = (A + B)(A + C)
similarly,
A (B+C) = (A B) + (A C)
• Commutative law
Statement:
• Commutative law states that the inter-
changing of the order of operands in a
Boolean equation does not change its result.
• Using OR operator → A + B = B + A
• Using AND operator → A * B = B * A
• This law is also has more priority in Boolean
algebra.
Eg:1 + 0 = 0 + 1, 1 * 0 = 0 * 1
• Absorption Law
Absorption law involves in linking of a pair of
binary operations.
A+A=A
A.A=A
A+AB = A
A(A+B) = A
A+ĀB = A+B
A.(Ā+B) = AB
5th and 6th laws are also called as Redundancy laws.
1.Statement : A + A = A
LHS=A+A
=(A+A).1
=(A+A).(A+Ā)
=A+(A. Ā)
=A(RHS)
2.Statement : A . A = A
LHS=(A.A)+0
=(A.A) +(A. Ā)
=A.(A+Ā)
=A+(1)
=A(RHS)
3.Statement : A + AB = A
Proof:
A + AB = A.1 + AB → since A.1 = A
=A(1+B) → since 1 + B = 1
= A.1
= A
4.Statement :A (A + B) = A
Proof:
A (A + B) = A.A + A.B
= A+AB → since A . A = A
= A (1 + B)
= A.1
= A
5.Statement :A + ĀB = A + B
Proof:
A + ĀB = (A + Ā) (A + B) → since A+BC
=(A+B)(A+C) using distributive law
= 1 * (A + B) → since A + Ā = 1
=A + B
6.Statement : A * (Ā+B) = AB
Proof: A * (Ā + B) = A. Ā + AB
= AB → since A Ā = 0
Duality Principle in Boolean algebra
• Statement:
Duality principle states that “The Dual of the expression can
be achieved by replacing the AND operator with OR
operator, along with replacing the binary variables, such as
replacing 1 with 0 and replacing 0 with 1”.
(or)
One expression can be obtain from another expression by
replacing the every 1 with 0, every 0 with 1, every (+) with
(.), every (.) with (+). Any pair of expression satisfying this
property is called dual expression. This characteristic of
Boolean algebra is called the principle of duality.
Eg: A + B = 0,
A * B = 1.
De Morgan’s Theorem:
Statement 1:“The compliment of the product of
2 variables is equal to the sum of the
compliments of individual variables”.
(A.B)’ = A’ + B’
Statement 2: “The compliment of the sum of
two variables is equal to the product of the
compliment of each variable”.
(A + B)’ = A’.B’
Truth Tables
The De Morgan’s laws are simply explained by using the truth tables.
The truth table for De Morgan’s first statement((A.B)’ = A’ + B’) is given below.
The truth table for De Morgan’s second statement ((A + B)’ = A’.B’) is given
below.

More Related Content

What's hot

decoder and encoder
 decoder and encoder decoder and encoder
decoder and encoder
Unsa Shakir
 
multiplexers and demultiplexers
 multiplexers and demultiplexers multiplexers and demultiplexers
multiplexers and demultiplexers
Unsa Shakir
 
SOP POS, Minterm and Maxterm
SOP POS, Minterm and MaxtermSOP POS, Minterm and Maxterm
SOP POS, Minterm and Maxterm
Self-employed
 
Combinational circuits
Combinational circuits Combinational circuits
Combinational circuits
DrSonali Vyas
 
sequential circuits
sequential circuitssequential circuits
sequential circuits
Unsa Shakir
 
Digital Logic circuit
Digital Logic circuitDigital Logic circuit
Digital Logic circuit
kavitha muneeshwaran
 
Logic gates
Logic gatesLogic gates
Logic gates
prasanna chitra
 
carry look ahead adder
carry look ahead addercarry look ahead adder
carry look ahead adder
ASHISH MANI
 
BCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codesBCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codes
student
 
Parallel Adder and Subtractor
Parallel Adder and SubtractorParallel Adder and Subtractor
Parallel Adder and Subtractor
Smit Shah
 
boolean algrebra and logic gates in short
boolean algrebra and logic gates in shortboolean algrebra and logic gates in short
boolean algrebra and logic gates in short
Rojin Khadka
 
MULTIPLEXER
MULTIPLEXERMULTIPLEXER
MULTIPLEXER
Siddhi Shrivas
 
Number system in Digital Electronics
Number system in Digital ElectronicsNumber system in Digital Electronics
Number system in Digital Electronics
Janki Shah
 
Chapter 2: Boolean Algebra and Logic Gates
Chapter 2: Boolean Algebra and Logic GatesChapter 2: Boolean Algebra and Logic Gates
Chapter 2: Boolean Algebra and Logic Gates
Er. Nawaraj Bhandari
 
Weighted and Non Weighted Codes
Weighted and Non Weighted CodesWeighted and Non Weighted Codes
Weighted and Non Weighted Codes
SubhamSatpathy2
 
Digital Electronics- Number systems & codes
Digital Electronics- Number systems & codes Digital Electronics- Number systems & codes
Digital Electronics- Number systems & codes
VandanaPagar1
 
Decoders-Digital Electronics
Decoders-Digital ElectronicsDecoders-Digital Electronics
Decoders-Digital Electronics
Paurav Shah
 
boolean algebra and logic simplification
boolean algebra and logic simplificationboolean algebra and logic simplification
boolean algebra and logic simplification
Unsa Shakir
 
Half adder & full adder
Half adder & full adderHalf adder & full adder
Half adder & full adder
Gaditek
 

What's hot (20)

decoder and encoder
 decoder and encoder decoder and encoder
decoder and encoder
 
multiplexers and demultiplexers
 multiplexers and demultiplexers multiplexers and demultiplexers
multiplexers and demultiplexers
 
SOP POS, Minterm and Maxterm
SOP POS, Minterm and MaxtermSOP POS, Minterm and Maxterm
SOP POS, Minterm and Maxterm
 
Combinational circuits
Combinational circuits Combinational circuits
Combinational circuits
 
sequential circuits
sequential circuitssequential circuits
sequential circuits
 
Digital Logic circuit
Digital Logic circuitDigital Logic circuit
Digital Logic circuit
 
Logic gates
Logic gatesLogic gates
Logic gates
 
carry look ahead adder
carry look ahead addercarry look ahead adder
carry look ahead adder
 
BCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codesBCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codes
 
Parallel Adder and Subtractor
Parallel Adder and SubtractorParallel Adder and Subtractor
Parallel Adder and Subtractor
 
boolean algrebra and logic gates in short
boolean algrebra and logic gates in shortboolean algrebra and logic gates in short
boolean algrebra and logic gates in short
 
MULTIPLEXER
MULTIPLEXERMULTIPLEXER
MULTIPLEXER
 
Number system in Digital Electronics
Number system in Digital ElectronicsNumber system in Digital Electronics
Number system in Digital Electronics
 
Chapter 2: Boolean Algebra and Logic Gates
Chapter 2: Boolean Algebra and Logic GatesChapter 2: Boolean Algebra and Logic Gates
Chapter 2: Boolean Algebra and Logic Gates
 
Weighted and Non Weighted Codes
Weighted and Non Weighted CodesWeighted and Non Weighted Codes
Weighted and Non Weighted Codes
 
Digital Electronics- Number systems & codes
Digital Electronics- Number systems & codes Digital Electronics- Number systems & codes
Digital Electronics- Number systems & codes
 
Decoders-Digital Electronics
Decoders-Digital ElectronicsDecoders-Digital Electronics
Decoders-Digital Electronics
 
boolean algebra and logic simplification
boolean algebra and logic simplificationboolean algebra and logic simplification
boolean algebra and logic simplification
 
Half adder & full adder
Half adder & full adderHalf adder & full adder
Half adder & full adder
 
Logic gates presentation
Logic gates presentationLogic gates presentation
Logic gates presentation
 

Similar to Basic theorems and properties of boolean algebra

Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdf
ssusere02873
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
ARJUN AHIRWAR
 
DLD PRESENTATION1.pptx
DLD PRESENTATION1.pptxDLD PRESENTATION1.pptx
DLD PRESENTATION1.pptx
AbuBakkarShayan
 
Boolean Algebra.pptx
Boolean Algebra.pptxBoolean Algebra.pptx
Boolean Algebra.pptx
Pooja Dixit
 
Boolean algebra.pptx
Boolean algebra.pptxBoolean algebra.pptx
Boolean algebra.pptx
Mhhh7
 
Boolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.SivakumarBoolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.Sivakumar
Sivakumar R D .
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
Rokonuzzaman Rony
 
boolean-algebra.pdf
boolean-algebra.pdfboolean-algebra.pdf
boolean-algebra.pdf
RameshK531901
 
Presentation COMPUTER final.pptx
Presentation COMPUTER final.pptxPresentation COMPUTER final.pptx
Presentation COMPUTER final.pptx
AbhishekSah56
 
Boolean Algebra and Logic Smiplification
Boolean Algebra and Logic SmiplificationBoolean Algebra and Logic Smiplification
Boolean Algebra and Logic Smiplification
samantha rathnayake
 
Boolean Algebra Terminologies.pdf
Boolean Algebra Terminologies.pdfBoolean Algebra Terminologies.pdf
Boolean Algebra Terminologies.pdf
ShivarkarSandip
 
Boolean algebra r009
Boolean algebra   r009Boolean algebra   r009
Boolean algebra r009
arunachalamr16
 
Digital electronics
Digital electronicsDigital electronics
Digital electronics
nanishajieha
 
Digital logic mohammed salim ch4
Digital logic mohammed salim ch4Digital logic mohammed salim ch4
Digital logic mohammed salim ch4
Asst Lect Mohammed Salim
 
Computer and Network Technology (CNT) - Lecture 04
Computer and Network Technology (CNT) - Lecture 04Computer and Network Technology (CNT) - Lecture 04
Computer and Network Technology (CNT) - Lecture 04
Susantha Herath
 
Admission for mba
Admission for mbaAdmission for mba
Admission for mba
Edhole.com
 
Lecture 05-Logic expression and Boolean Algebra.pptx
Lecture 05-Logic expression and Boolean Algebra.pptxLecture 05-Logic expression and Boolean Algebra.pptx
Lecture 05-Logic expression and Boolean Algebra.pptx
WilliamJosephat1
 
presentation on (Boolean rules & laws)
presentation on (Boolean rules & laws)presentation on (Boolean rules & laws)
presentation on (Boolean rules & laws)kinza arshad
 
Computer Architecture & Organization
Computer Architecture & OrganizationComputer Architecture & Organization
Computer Architecture & Organization
NANDINI SHARMA
 

Similar to Basic theorems and properties of boolean algebra (20)

Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdf
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
DLD PRESENTATION1.pptx
DLD PRESENTATION1.pptxDLD PRESENTATION1.pptx
DLD PRESENTATION1.pptx
 
Boolean Algebra.pptx
Boolean Algebra.pptxBoolean Algebra.pptx
Boolean Algebra.pptx
 
Boolean algebra.pptx
Boolean algebra.pptxBoolean algebra.pptx
Boolean algebra.pptx
 
Boolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.SivakumarBoolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.Sivakumar
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
boolean-algebra.pdf
boolean-algebra.pdfboolean-algebra.pdf
boolean-algebra.pdf
 
Presentation COMPUTER final.pptx
Presentation COMPUTER final.pptxPresentation COMPUTER final.pptx
Presentation COMPUTER final.pptx
 
Boolean Algebra and Logic Smiplification
Boolean Algebra and Logic SmiplificationBoolean Algebra and Logic Smiplification
Boolean Algebra and Logic Smiplification
 
Boolean Algebra Terminologies.pdf
Boolean Algebra Terminologies.pdfBoolean Algebra Terminologies.pdf
Boolean Algebra Terminologies.pdf
 
Boolean algebra r009
Boolean algebra   r009Boolean algebra   r009
Boolean algebra r009
 
Digital electronics
Digital electronicsDigital electronics
Digital electronics
 
Digital logic mohammed salim ch4
Digital logic mohammed salim ch4Digital logic mohammed salim ch4
Digital logic mohammed salim ch4
 
Computer and Network Technology (CNT) - Lecture 04
Computer and Network Technology (CNT) - Lecture 04Computer and Network Technology (CNT) - Lecture 04
Computer and Network Technology (CNT) - Lecture 04
 
Admission for mba
Admission for mbaAdmission for mba
Admission for mba
 
Lecture 05-Logic expression and Boolean Algebra.pptx
Lecture 05-Logic expression and Boolean Algebra.pptxLecture 05-Logic expression and Boolean Algebra.pptx
Lecture 05-Logic expression and Boolean Algebra.pptx
 
presentation on (Boolean rules & laws)
presentation on (Boolean rules & laws)presentation on (Boolean rules & laws)
presentation on (Boolean rules & laws)
 
Dld (1)
Dld (1)Dld (1)
Dld (1)
 
Computer Architecture & Organization
Computer Architecture & OrganizationComputer Architecture & Organization
Computer Architecture & Organization
 

More from Hanu Kavi

Bpsk ppt
Bpsk pptBpsk ppt
Bpsk ppt
Hanu Kavi
 
Digital modulation techniques
Digital modulation techniquesDigital modulation techniques
Digital modulation techniques
Hanu Kavi
 
Digital modulation techniques
Digital modulation techniquesDigital modulation techniques
Digital modulation techniques
Hanu Kavi
 
Important formulae and problems solving in pcm
Important formulae and problems solving in pcmImportant formulae and problems solving in pcm
Important formulae and problems solving in pcm
Hanu Kavi
 
SQNR IN PCM
SQNR IN PCMSQNR IN PCM
SQNR IN PCM
Hanu Kavi
 
Delta modulation
Delta modulationDelta modulation
Delta modulation
Hanu Kavi
 
DIFFERENTIAL PCM
DIFFERENTIAL PCMDIFFERENTIAL PCM
DIFFERENTIAL PCM
Hanu Kavi
 
ELEMENTS OF PCM
ELEMENTS OF PCM ELEMENTS OF PCM
ELEMENTS OF PCM
Hanu Kavi
 

More from Hanu Kavi (8)

Bpsk ppt
Bpsk pptBpsk ppt
Bpsk ppt
 
Digital modulation techniques
Digital modulation techniquesDigital modulation techniques
Digital modulation techniques
 
Digital modulation techniques
Digital modulation techniquesDigital modulation techniques
Digital modulation techniques
 
Important formulae and problems solving in pcm
Important formulae and problems solving in pcmImportant formulae and problems solving in pcm
Important formulae and problems solving in pcm
 
SQNR IN PCM
SQNR IN PCMSQNR IN PCM
SQNR IN PCM
 
Delta modulation
Delta modulationDelta modulation
Delta modulation
 
DIFFERENTIAL PCM
DIFFERENTIAL PCMDIFFERENTIAL PCM
DIFFERENTIAL PCM
 
ELEMENTS OF PCM
ELEMENTS OF PCM ELEMENTS OF PCM
ELEMENTS OF PCM
 

Recently uploaded

space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
ongomchris
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
Amil Baba Dawood bangali
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
VENKATESHvenky89705
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
SupreethSP4
 
Cosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdfCosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdf
Kamal Acharya
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
ankuprajapati0525
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
thanhdowork
 
English lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdfEnglish lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdf
BrazilAccount1
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Dr.Costas Sachpazis
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
AJAYKUMARPUND1
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
ViniHema
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
gerogepatton
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
AafreenAbuthahir2
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
MdTanvirMahtab2
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
Pipe Restoration Solutions
 
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdfWater Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation & Control
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
FluxPrime1
 
Architectural Portfolio Sean Lockwood
Architectural Portfolio Sean LockwoodArchitectural Portfolio Sean Lockwood
Architectural Portfolio Sean Lockwood
seandesed
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
obonagu
 
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
zwunae
 

Recently uploaded (20)

space technology lecture notes on satellite
space technology lecture notes on satellitespace technology lecture notes on satellite
space technology lecture notes on satellite
 
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...
 
road safety engineering r s e unit 3.pdf
road safety engineering  r s e unit 3.pdfroad safety engineering  r s e unit 3.pdf
road safety engineering r s e unit 3.pdf
 
Runway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptxRunway Orientation Based on the Wind Rose Diagram.pptx
Runway Orientation Based on the Wind Rose Diagram.pptx
 
Cosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdfCosmetic shop management system project report.pdf
Cosmetic shop management system project report.pdf
 
The role of big data in decision making.
The role of big data in decision making.The role of big data in decision making.
The role of big data in decision making.
 
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
RAT: Retrieval Augmented Thoughts Elicit Context-Aware Reasoning in Long-Hori...
 
English lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdfEnglish lab ppt no titlespecENG PPTt.pdf
English lab ppt no titlespecENG PPTt.pdf
 
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...
 
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
Pile Foundation by Venkatesh Taduvai (Sub Geotechnical Engineering II)-conver...
 
power quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptxpower quality voltage fluctuation UNIT - I.pptx
power quality voltage fluctuation UNIT - I.pptx
 
Immunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary AttacksImmunizing Image Classifiers Against Localized Adversary Attacks
Immunizing Image Classifiers Against Localized Adversary Attacks
 
WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234WATER CRISIS and its solutions-pptx 1234
WATER CRISIS and its solutions-pptx 1234
 
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)
 
The Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdfThe Benefits and Techniques of Trenchless Pipe Repair.pdf
The Benefits and Techniques of Trenchless Pipe Repair.pdf
 
Water Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdfWater Industry Process Automation and Control Monthly - May 2024.pdf
Water Industry Process Automation and Control Monthly - May 2024.pdf
 
DESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docxDESIGN A COTTON SEED SEPARATION MACHINE.docx
DESIGN A COTTON SEED SEPARATION MACHINE.docx
 
Architectural Portfolio Sean Lockwood
Architectural Portfolio Sean LockwoodArchitectural Portfolio Sean Lockwood
Architectural Portfolio Sean Lockwood
 
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
在线办理(ANU毕业证书)澳洲国立大学毕业证录取通知书一模一样
 
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单专业办理
 

Basic theorems and properties of boolean algebra

  • 1. Boolean Algebra Laws and Theorems Boolean Algebra is a form of mathematical algebra that is used in digital logic in digital electronics. Albebra consists of symbolic representation of a statement (generally mathematical statements). Similarly, there are expressions, equations and functions in Boolean algebra as well.
  • 2. Boolean Algebra Laws and Theorems • The main aim of any logic design is to simplify the logic as much as possible so that the final implementation will become easy. In order to simplify the logic, the Boolean equations and expressions representing that logic must be simplified. • So, to simplify the Boolean equations and expression, there are some laws and theorems proposed. Using these laws and theorems, it becomes very easy to simplify or reduce the logical complexities of any Boolean expression or function.
  • 3. The article demonstrates some of the most commonly used laws and theorem is Boolean algebra. • Basic Laws and Proofs The basic rules and laws of Boolean algebraic system are known as “Laws of Boolean algebra”. Some of the basic laws (rules) of the Boolean algebra are • i.Associative law • ii. Distributive law • iii. Commutative law • iv. Absorption law • v. Consensus law
  • 4. 1.Associative Law Associate Law of Addition Statement: • Associative law of addition states that OR ing more than two variables i.e. mathematical addition operation performed on variables will return the same value irrespective of the grouping of variables in an equation. It involves in swapping of variables in groups. The Associative law using OR operator can be written as • A+(B+C) = (A+B)+C = A + (B + C) = B + (C + A) Eg:(0 + 1) + 0 = 0 + (1 + 0) 1 + 0 = 0 + 1 1 = 1
  • 5. • Associate Law of Multiplication Statement: Associative law of multiplication states that ANDing more than two variables i.e. mathematical multiplication operation performed on variables will return the same value irrespective of the grouping of variables in an equation. • The Associative law using AND operator can be written as • A * (B * C) = (A * B) * C
  • 6. • Distributive law This is the most used and most important law in Boolean algebra, which involves in 2 operators: AND, OR. Statement: • The multiplication of two variables and adding the result with a variable will result in same value as multiplication of addition of the variable with individual variables. • In other words, ANDing two variables and ORing the result with another variable is equal to AND of ORing of the variable with the two individual variables. • Distributive law can be written as A + BC = (A + B)(A + C) similarly, A (B+C) = (A B) + (A C)
  • 7. • Commutative law Statement: • Commutative law states that the inter- changing of the order of operands in a Boolean equation does not change its result. • Using OR operator → A + B = B + A • Using AND operator → A * B = B * A • This law is also has more priority in Boolean algebra. Eg:1 + 0 = 0 + 1, 1 * 0 = 0 * 1
  • 8. • Absorption Law Absorption law involves in linking of a pair of binary operations. A+A=A A.A=A A+AB = A A(A+B) = A A+ĀB = A+B A.(Ā+B) = AB 5th and 6th laws are also called as Redundancy laws.
  • 9. 1.Statement : A + A = A LHS=A+A =(A+A).1 =(A+A).(A+Ā) =A+(A. Ā) =A(RHS) 2.Statement : A . A = A LHS=(A.A)+0 =(A.A) +(A. Ā) =A.(A+Ā) =A+(1) =A(RHS)
  • 10. 3.Statement : A + AB = A Proof: A + AB = A.1 + AB → since A.1 = A =A(1+B) → since 1 + B = 1 = A.1 = A 4.Statement :A (A + B) = A Proof: A (A + B) = A.A + A.B = A+AB → since A . A = A = A (1 + B) = A.1 = A
  • 11. 5.Statement :A + ĀB = A + B Proof: A + ĀB = (A + Ā) (A + B) → since A+BC =(A+B)(A+C) using distributive law = 1 * (A + B) → since A + Ā = 1 =A + B 6.Statement : A * (Ā+B) = AB Proof: A * (Ā + B) = A. Ā + AB = AB → since A Ā = 0
  • 12. Duality Principle in Boolean algebra • Statement: Duality principle states that “The Dual of the expression can be achieved by replacing the AND operator with OR operator, along with replacing the binary variables, such as replacing 1 with 0 and replacing 0 with 1”. (or) One expression can be obtain from another expression by replacing the every 1 with 0, every 0 with 1, every (+) with (.), every (.) with (+). Any pair of expression satisfying this property is called dual expression. This characteristic of Boolean algebra is called the principle of duality. Eg: A + B = 0, A * B = 1.
  • 13. De Morgan’s Theorem: Statement 1:“The compliment of the product of 2 variables is equal to the sum of the compliments of individual variables”. (A.B)’ = A’ + B’ Statement 2: “The compliment of the sum of two variables is equal to the product of the compliment of each variable”. (A + B)’ = A’.B’
  • 14. Truth Tables The De Morgan’s laws are simply explained by using the truth tables. The truth table for De Morgan’s first statement((A.B)’ = A’ + B’) is given below. The truth table for De Morgan’s second statement ((A + B)’ = A’.B’) is given below.