SlideShare a Scribd company logo
1 of 14
A
PROJECT REPORT
ON
BOOLEAN ALGEBRA
GUIDED BY…
SWAPNAJIT MISHRA
UNIITECH DEGREE COLLEGE, NAYAGARH
SUBMITTED BY…
NAME: - ASIMA SAHOO
ROLL NO. : - 2002010670240034
• Introduction
• Review of History
• Operations, Values
• Monotone &Nonmonotone laws
• Duality Principal
• Diagrammatic Representations
• Propositional Logic
• Applications
• Boolean Operations
BOOLEAN ALGEBRA
INTRODUCTION
Boolean algebra is the subarea of algebra in which the values of the
variables are the truth values true and false, usually denoted 1 and 0
respectively. Instead of elementary algebra where the values of the variables are
numbers, and the main operations are addition and multiplication, the main
operations of Boolean algebra are the conjunction and denoted ˄, the disjunction
or , denoted ˅, and the negation not, denoted ̚.
Boolean algebra was introduced by George Boole in his first book The
Mathematical Analysis of Logic (1847), and set forth more fully in his An
Investigation of the laws of Thought (1854). According to Huntington the term
“Boolean algebra” was first suggested by Sheffer in 1913.
Boolean Algebras (structure)
The term “algebra” denotes both a subject, namely the subject of
algebra, and an object, namely an algebraic structure. Where as the
foregoing has addressed the subject of Boolean algebra, this section deals
with mathematical objects called Boolean algebras, defined in full
generality as any model of the Boolean laws.
We can instead postulate a set X, two binary operations on X, and
one unary operation, and require that those operation satisfy the laws of
Boolean algebra. The elements of X need not be bit vectors or subsets but
can b anything at all. This leads to the more general abstract definition.
A Boolean algebra is any set with binary operation ˄ and ˅ and a
unary operation ̚ thereon satisfying the Boolean laws.
Boolean algebra: the definition
History of Boolean laws
Boolean algebra was perfected in the 19th century by Jevons,
Schroder Huntington, and others until it reached the modern
conception of an (abstract) mathematical structure.
In fact, M. H. Stone proved in 1936 that every Boolean algebra
is isomorphic to a field of sets.
In the 1930s, while studying switching circuits, Claude Shannon
observed that one could also apply the rules of Boole’s algebra in this
setting, and he introduced switching algebra as a way to analyse and
design circuits by algebraic means in terms of logic gates. There is
little need to consider other Boolean algebras, thus “switching
algebra” and “Boolean algebra” are often used interchangeably.
OPERATIONS
Basic operations
The basic operations of Boolean algebra are as follows.
• And (conjunction), denoted x^y (sometimes x AND y or Kxy), satisfies
x^y = 1 if x = y =1 and x^y =0 otherwise.
• Or (disjunction), denoted x˅y (sometimes x OR y or Axy), satisfies xVy = 0
if x = y = 0 and xVy = 1 otherwise.
• Not (negation), denoted ̚ x (sometimes NOT x, Nxor !x), satisfies ̚ x = 0
if x = 1 and ̚̚ x = 1 if x = 0.
If the truth values 0 and 1 and interpreted as integers, these operation may
be expressed with the ordinary operations of the arithmetic:
ϰ ^ y = ϰ × y
ϰ ˅ y = ϰ + y – (ϰ × y )
̚ ϰ = 1 - ϰ
VALUES
Where as in elementary algebra expressions denote mainly numbers, in
Boolean algebra they denote the truth values false and true. These values are
represented with the bits (or binary digits), namely 0 and 1.
For example the subsets of a set E: to a subset F of E is associated the
indicator function that takes the value 1 on F and 0 outside F.
LAWS
A law of Boolean algebra is an identity such as xv(y˅z) = (xvy)vz
between two Boolean terms, where a Boolean term is defind as an
expression built up from variables and the constants 0 and 1 using the
operations ˄, ˅, and ̚ .
Monotone laws
Boolean algebra satisfies many of the same laws as ordinary algebra when one
matches up v with addition and ^ with multiplication.
Associativity of v x V ( y V z ) = ( x V y ) V z
Associativity of ^ x ^ ( y ^ z ) = ( x ^ y) ^ z
Commutativity of V x V y = y V x
Commutativity of ^ x ^ y = y ^ x
Distributivity of ^ over V x ^ ( y V z ) = ( x ^ y ) V ( x^ z )
Identity for V x v 0 = x
Identity for ^ x ^ 1 = x
Annihilator for ^ x ^ 0 = 0
Boolean algebra however obeys some additional laws,
Idempotence of V x V x = x
Idempotence of ^ x ^ x = x
Absorption 1 x ^ ( x V y ) = x
Absorption 2 x V ( x ^ y ) = x
Distributivity of V over ^ x V ( y ^ z ) = ( x V y ) ^ ( X V z )
Annihilator for V x V 1 = 1
Nonmonotone laws
The complement operation is defined by the following two laws.
Complementation 1 x ^ ̚ x = 0
Complementation 2 x V ̚ x = 1
But where as ordinary algebra satisfies the two laws
(-x) (-y) = xy
(-x) + (-y) = - ( x+y )
Boolean algebra satisfies De Morgan’s laws:
De Morgan 1 ̚ x ^ ̚ y = ̚ (x V y)
De Morgan 2 ̚ x V ̚ y = ̚ (x ^ y)
Duality principle
There is nothing magical about the choice of symbols for the values of Boolean
algebra. Thus 0 and 1 are dual, and ^ and V are dual. The duality principle also called De
Morgan duality, asserts that Boolean algebra is unchanged when all dual pairs are
interchanged.
Diagrammatic representation
DIGITAL LOGIC GATE
Digital logic is the application of the Boolean algebra of 0 and 1 to
electronic hardware consisting of logic gates connected to form a circuit
diagram. The shape associated with the gates for conjunction (AND-gates),
disjunction (OR-gates), and complement (inverters) are as follows.
The lines on the left of each gate represent input wires or ports. The value of
the input is represented by a voltage on the lead. For so-called "active-high" logic, 0
is represented by a voltage close to zero or "ground", while 1 is represented by a
voltage close to the supply voltage; active-low reverses this.
Propositional logic
Main article: propositional calculus
propositional logic a logical system that is intimately connected to Boolean
algebra. Many syntactic concepts of Boolean algebra carry over to
propositional logic with only minor changes in notation and terminology.
Every Boolean term corresponds to a propositional formula of propositional
logic. In this translation between Boolean algebra and propositional logic,
Boolean variables x,y… become propositional variables ( or atoms ) P,Q,…,
Boolean terms such as xvy become propositional formulas PvQ, 0 becomes
false or ւ, and 1 becomes true or T.
Applications of Boolean algebra
Boolean algebra as the calculus of two values is fundamental to digital
logic, computer programming, and mathematical logic, and is also used in
other areas of mathematics such as set theory and statistics.
Now it is possible to code more than two symbols in any given medium.
For example one might use respectively 0,1,2, and 3 volts to code a four
symbol alphabet on a wire, or holes of different sizes in a punched card. In
practice however the tight constraints of high speed , small size, and low
power combine to make noise a major factor.
Programmers programming in machine code, assembly language, and
other programming languages that expose the low level digital structure of the
data registers operate on whatever symbols were chosen for the hardware,
invariably bit vectors in modern computers for the above reasons.
Boolean operations
The original application for Boolean operations was
mathematical logic, where it combines the truth values, true or
false, of individual formulas.
Boolean operations are used in digital logic to combine the bit
carried on individual wires, there by interpreting them over (0,1).
When a vector of n bits, the individual bit operations can be
understood collectively as a single operation on values from a
Boolean algebra with 2n elements.
Asima Final Presentation.pptx

More Related Content

Similar to Asima Final Presentation.pptx

boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicssomnathmule3
 
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebraBCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebraRai University
 
Boolean Logic.pptx
Boolean Logic.pptxBoolean Logic.pptx
Boolean Logic.pptxakshat205573
 
Unit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.pptUnit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.pptnaresh414857
 
Switching algebra and logic gates
Switching algebra  and  logic gatesSwitching algebra  and  logic gates
Switching algebra and logic gatesTarun Gehlot
 
Digital electronics
Digital electronicsDigital electronics
Digital electronicsnanishajieha
 
chapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfchapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfstudy material
 
chapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfchapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfstudy material
 
Introduction to digital logic
Introduction to digital logicIntroduction to digital logic
Introduction to digital logicKamal Acharya
 
Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdfssusere02873
 
DM2020 boolean algebra
DM2020 boolean algebraDM2020 boolean algebra
DM2020 boolean algebraRobert Geofroy
 
Basic theorems and properties of boolean algebra
Basic theorems and properties of boolean algebraBasic theorems and properties of boolean algebra
Basic theorems and properties of boolean algebraHanu Kavi
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic GatesKumar
 
Logic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers andLogic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers andMuruganandhanD
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebraGagan Deep
 

Similar to Asima Final Presentation.pptx (20)

boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematics
 
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebraBCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
 
Boolean Logic.pptx
Boolean Logic.pptxBoolean Logic.pptx
Boolean Logic.pptx
 
Fuzzy.pptx
Fuzzy.pptxFuzzy.pptx
Fuzzy.pptx
 
Unit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.pptUnit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.ppt
 
Switching algebra and logic gates
Switching algebra  and  logic gatesSwitching algebra  and  logic gates
Switching algebra and logic gates
 
Boolean algebra and logic gates
Boolean algebra and logic gatesBoolean algebra and logic gates
Boolean algebra and logic gates
 
2dig circ
2dig circ2dig circ
2dig circ
 
Digital electronics
Digital electronicsDigital electronics
Digital electronics
 
chapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfchapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdf
 
chapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdfchapter-2-boolean-algebra.pdf
chapter-2-boolean-algebra.pdf
 
Boolean algebra1
Boolean algebra1Boolean algebra1
Boolean algebra1
 
Introduction to digital logic
Introduction to digital logicIntroduction to digital logic
Introduction to digital logic
 
Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdf
 
DM2020 boolean algebra
DM2020 boolean algebraDM2020 boolean algebra
DM2020 boolean algebra
 
Basic theorems and properties of boolean algebra
Basic theorems and properties of boolean algebraBasic theorems and properties of boolean algebra
Basic theorems and properties of boolean algebra
 
Boolean algebra & logic gates
Boolean algebra & logic gatesBoolean algebra & logic gates
Boolean algebra & logic gates
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic Gates
 
Logic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers andLogic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers and
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 

Recently uploaded

Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxpritamlangde
 
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...dannyijwest
 
8th International Conference on Soft Computing, Mathematics and Control (SMC ...
8th International Conference on Soft Computing, Mathematics and Control (SMC ...8th International Conference on Soft Computing, Mathematics and Control (SMC ...
8th International Conference on Soft Computing, Mathematics and Control (SMC ...josephjonse
 
INTERRUPT CONTROLLER 8259 MICROPROCESSOR
INTERRUPT CONTROLLER 8259 MICROPROCESSORINTERRUPT CONTROLLER 8259 MICROPROCESSOR
INTERRUPT CONTROLLER 8259 MICROPROCESSORTanishkaHira1
 
Introduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaIntroduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaOmar Fathy
 
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxHOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxSCMS School of Architecture
 
Introduction to Robotics in Mechanical Engineering.pptx
Introduction to Robotics in Mechanical Engineering.pptxIntroduction to Robotics in Mechanical Engineering.pptx
Introduction to Robotics in Mechanical Engineering.pptxhublikarsn
 
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptxS1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptxSCMS School of Architecture
 
Theory of Time 2024 (Universal Theory for Everything)
Theory of Time 2024 (Universal Theory for Everything)Theory of Time 2024 (Universal Theory for Everything)
Theory of Time 2024 (Universal Theory for Everything)Ramkumar k
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayEpec Engineered Technologies
 
Worksharing and 3D Modeling with Revit.pptx
Worksharing and 3D Modeling with Revit.pptxWorksharing and 3D Modeling with Revit.pptx
Worksharing and 3D Modeling with Revit.pptxMustafa Ahmed
 
UNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxUNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxkalpana413121
 
Introduction to Artificial Intelligence ( AI)
Introduction to Artificial Intelligence ( AI)Introduction to Artificial Intelligence ( AI)
Introduction to Artificial Intelligence ( AI)ChandrakantDivate1
 
Online food ordering system project report.pdf
Online food ordering system project report.pdfOnline food ordering system project report.pdf
Online food ordering system project report.pdfKamal Acharya
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network DevicesChandrakantDivate1
 
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...Amil baba
 
Post office management system project ..pdf
Post office management system project ..pdfPost office management system project ..pdf
Post office management system project ..pdfKamal Acharya
 
Hostel management system project report..pdf
Hostel management system project report..pdfHostel management system project report..pdf
Hostel management system project report..pdfKamal Acharya
 
Fundamentals of Internet of Things (IoT) Part-2
Fundamentals of Internet of Things (IoT) Part-2Fundamentals of Internet of Things (IoT) Part-2
Fundamentals of Internet of Things (IoT) Part-2ChandrakantDivate1
 

Recently uploaded (20)

Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptx
 
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...
Cybercrimes in the Darknet and Their Detections: A Comprehensive Analysis and...
 
8th International Conference on Soft Computing, Mathematics and Control (SMC ...
8th International Conference on Soft Computing, Mathematics and Control (SMC ...8th International Conference on Soft Computing, Mathematics and Control (SMC ...
8th International Conference on Soft Computing, Mathematics and Control (SMC ...
 
INTERRUPT CONTROLLER 8259 MICROPROCESSOR
INTERRUPT CONTROLLER 8259 MICROPROCESSORINTERRUPT CONTROLLER 8259 MICROPROCESSOR
INTERRUPT CONTROLLER 8259 MICROPROCESSOR
 
Introduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaIntroduction to Serverless with AWS Lambda
Introduction to Serverless with AWS Lambda
 
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxHOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
 
Introduction to Robotics in Mechanical Engineering.pptx
Introduction to Robotics in Mechanical Engineering.pptxIntroduction to Robotics in Mechanical Engineering.pptx
Introduction to Robotics in Mechanical Engineering.pptx
 
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptxS1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
S1S2 B.Arch MGU - HOA1&2 Module 3 -Temple Architecture of Kerala.pptx
 
Theory of Time 2024 (Universal Theory for Everything)
Theory of Time 2024 (Universal Theory for Everything)Theory of Time 2024 (Universal Theory for Everything)
Theory of Time 2024 (Universal Theory for Everything)
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
 
Worksharing and 3D Modeling with Revit.pptx
Worksharing and 3D Modeling with Revit.pptxWorksharing and 3D Modeling with Revit.pptx
Worksharing and 3D Modeling with Revit.pptx
 
UNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxUNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptx
 
Introduction to Artificial Intelligence ( AI)
Introduction to Artificial Intelligence ( AI)Introduction to Artificial Intelligence ( AI)
Introduction to Artificial Intelligence ( AI)
 
Online food ordering system project report.pdf
Online food ordering system project report.pdfOnline food ordering system project report.pdf
Online food ordering system project report.pdf
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network Devices
 
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...
NO1 Top No1 Amil Baba In Azad Kashmir, Kashmir Black Magic Specialist Expert ...
 
Post office management system project ..pdf
Post office management system project ..pdfPost office management system project ..pdf
Post office management system project ..pdf
 
Hostel management system project report..pdf
Hostel management system project report..pdfHostel management system project report..pdf
Hostel management system project report..pdf
 
Fundamentals of Internet of Things (IoT) Part-2
Fundamentals of Internet of Things (IoT) Part-2Fundamentals of Internet of Things (IoT) Part-2
Fundamentals of Internet of Things (IoT) Part-2
 

Asima Final Presentation.pptx

  • 1. A PROJECT REPORT ON BOOLEAN ALGEBRA GUIDED BY… SWAPNAJIT MISHRA UNIITECH DEGREE COLLEGE, NAYAGARH SUBMITTED BY… NAME: - ASIMA SAHOO ROLL NO. : - 2002010670240034
  • 2. • Introduction • Review of History • Operations, Values • Monotone &Nonmonotone laws • Duality Principal • Diagrammatic Representations • Propositional Logic • Applications • Boolean Operations
  • 3. BOOLEAN ALGEBRA INTRODUCTION Boolean algebra is the subarea of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively. Instead of elementary algebra where the values of the variables are numbers, and the main operations are addition and multiplication, the main operations of Boolean algebra are the conjunction and denoted ˄, the disjunction or , denoted ˅, and the negation not, denoted ̚. Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), and set forth more fully in his An Investigation of the laws of Thought (1854). According to Huntington the term “Boolean algebra” was first suggested by Sheffer in 1913.
  • 4. Boolean Algebras (structure) The term “algebra” denotes both a subject, namely the subject of algebra, and an object, namely an algebraic structure. Where as the foregoing has addressed the subject of Boolean algebra, this section deals with mathematical objects called Boolean algebras, defined in full generality as any model of the Boolean laws. We can instead postulate a set X, two binary operations on X, and one unary operation, and require that those operation satisfy the laws of Boolean algebra. The elements of X need not be bit vectors or subsets but can b anything at all. This leads to the more general abstract definition. A Boolean algebra is any set with binary operation ˄ and ˅ and a unary operation ̚ thereon satisfying the Boolean laws. Boolean algebra: the definition
  • 5. History of Boolean laws Boolean algebra was perfected in the 19th century by Jevons, Schroder Huntington, and others until it reached the modern conception of an (abstract) mathematical structure. In fact, M. H. Stone proved in 1936 that every Boolean algebra is isomorphic to a field of sets. In the 1930s, while studying switching circuits, Claude Shannon observed that one could also apply the rules of Boole’s algebra in this setting, and he introduced switching algebra as a way to analyse and design circuits by algebraic means in terms of logic gates. There is little need to consider other Boolean algebras, thus “switching algebra” and “Boolean algebra” are often used interchangeably.
  • 6. OPERATIONS Basic operations The basic operations of Boolean algebra are as follows. • And (conjunction), denoted x^y (sometimes x AND y or Kxy), satisfies x^y = 1 if x = y =1 and x^y =0 otherwise. • Or (disjunction), denoted x˅y (sometimes x OR y or Axy), satisfies xVy = 0 if x = y = 0 and xVy = 1 otherwise. • Not (negation), denoted ̚ x (sometimes NOT x, Nxor !x), satisfies ̚ x = 0 if x = 1 and ̚̚ x = 1 if x = 0. If the truth values 0 and 1 and interpreted as integers, these operation may be expressed with the ordinary operations of the arithmetic: ϰ ^ y = ϰ × y ϰ ˅ y = ϰ + y – (ϰ × y ) ̚ ϰ = 1 - ϰ
  • 7. VALUES Where as in elementary algebra expressions denote mainly numbers, in Boolean algebra they denote the truth values false and true. These values are represented with the bits (or binary digits), namely 0 and 1. For example the subsets of a set E: to a subset F of E is associated the indicator function that takes the value 1 on F and 0 outside F. LAWS A law of Boolean algebra is an identity such as xv(y˅z) = (xvy)vz between two Boolean terms, where a Boolean term is defind as an expression built up from variables and the constants 0 and 1 using the operations ˄, ˅, and ̚ .
  • 8. Monotone laws Boolean algebra satisfies many of the same laws as ordinary algebra when one matches up v with addition and ^ with multiplication. Associativity of v x V ( y V z ) = ( x V y ) V z Associativity of ^ x ^ ( y ^ z ) = ( x ^ y) ^ z Commutativity of V x V y = y V x Commutativity of ^ x ^ y = y ^ x Distributivity of ^ over V x ^ ( y V z ) = ( x ^ y ) V ( x^ z ) Identity for V x v 0 = x Identity for ^ x ^ 1 = x Annihilator for ^ x ^ 0 = 0 Boolean algebra however obeys some additional laws, Idempotence of V x V x = x Idempotence of ^ x ^ x = x Absorption 1 x ^ ( x V y ) = x Absorption 2 x V ( x ^ y ) = x Distributivity of V over ^ x V ( y ^ z ) = ( x V y ) ^ ( X V z ) Annihilator for V x V 1 = 1
  • 9. Nonmonotone laws The complement operation is defined by the following two laws. Complementation 1 x ^ ̚ x = 0 Complementation 2 x V ̚ x = 1 But where as ordinary algebra satisfies the two laws (-x) (-y) = xy (-x) + (-y) = - ( x+y ) Boolean algebra satisfies De Morgan’s laws: De Morgan 1 ̚ x ^ ̚ y = ̚ (x V y) De Morgan 2 ̚ x V ̚ y = ̚ (x ^ y) Duality principle There is nothing magical about the choice of symbols for the values of Boolean algebra. Thus 0 and 1 are dual, and ^ and V are dual. The duality principle also called De Morgan duality, asserts that Boolean algebra is unchanged when all dual pairs are interchanged.
  • 10. Diagrammatic representation DIGITAL LOGIC GATE Digital logic is the application of the Boolean algebra of 0 and 1 to electronic hardware consisting of logic gates connected to form a circuit diagram. The shape associated with the gates for conjunction (AND-gates), disjunction (OR-gates), and complement (inverters) are as follows. The lines on the left of each gate represent input wires or ports. The value of the input is represented by a voltage on the lead. For so-called "active-high" logic, 0 is represented by a voltage close to zero or "ground", while 1 is represented by a voltage close to the supply voltage; active-low reverses this.
  • 11. Propositional logic Main article: propositional calculus propositional logic a logical system that is intimately connected to Boolean algebra. Many syntactic concepts of Boolean algebra carry over to propositional logic with only minor changes in notation and terminology. Every Boolean term corresponds to a propositional formula of propositional logic. In this translation between Boolean algebra and propositional logic, Boolean variables x,y… become propositional variables ( or atoms ) P,Q,…, Boolean terms such as xvy become propositional formulas PvQ, 0 becomes false or ւ, and 1 becomes true or T.
  • 12. Applications of Boolean algebra Boolean algebra as the calculus of two values is fundamental to digital logic, computer programming, and mathematical logic, and is also used in other areas of mathematics such as set theory and statistics. Now it is possible to code more than two symbols in any given medium. For example one might use respectively 0,1,2, and 3 volts to code a four symbol alphabet on a wire, or holes of different sizes in a punched card. In practice however the tight constraints of high speed , small size, and low power combine to make noise a major factor. Programmers programming in machine code, assembly language, and other programming languages that expose the low level digital structure of the data registers operate on whatever symbols were chosen for the hardware, invariably bit vectors in modern computers for the above reasons.
  • 13. Boolean operations The original application for Boolean operations was mathematical logic, where it combines the truth values, true or false, of individual formulas. Boolean operations are used in digital logic to combine the bit carried on individual wires, there by interpreting them over (0,1). When a vector of n bits, the individual bit operations can be understood collectively as a single operation on values from a Boolean algebra with 2n elements.