SlideShare a Scribd company logo
Boolean Expressions and Boolean Functions
Let B = {0, 1}. The variable x is called a Boolean
variable if it assumes values only from B. A function
Bn, the set {(x1, x2, ….xn)|xi ε B, 1 ≤ i ≤ n}, to B is
called a Boolean function of degree n
x y F(x, y)
1 1
0
The values of Boolean function.
1 0
1
0 1
0
0 0
0
The Boolean expressions in the variables x1, x2,
…,xn are defined recursively as follows:
0, 1, x1, x2, ….., xn
Example: Find the values of the Boolean function
represented by F ( x, y, z ) = xy + z
x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

xy
1
1
0
0
0
0
0
0

z’
0
1
0
1
0
1
0
1

xy + z’
1
1
0
1
0
1
0
1
The Boolean functions F and G of n variables are
equal if and only if F(b1, b2, …, bn) = G(b1, b2, …,bn)
whenever b1, b2, …, bn belong to B. Two different
Boolean expressions that represent the same
function are called equivalent.
ex: xy, xy + 0, and (xy)1
The complement of the Boolean function F is the
function

F , where

F ( x1 ,  , xn ) = F ( x1 ,  xn )
The Boolean sum F + G and the Boolean product
FG are defined by
(F + G)(x1,…., xn) = F(x1,…, xn) + G(x1,…, xn),
(FG)(x1,…, xn) = F(x1,…, xn)G(x1,…, xn)
The Boolean functions of degree 2
x

y

F1

F2

F3

F4

F5

F6

F7

F8

F9

F10 F11 F12 F13 F14 F15 F16

1
1
0
0

1
0
1
0

1
1
1
1

1
1
1
0

1
1
0
1

1
1
0
0

1
0
1
1

1
0
1
0

1
0
0
1

1
0
0
0

0
1
1
1

0
1
1
0

0
1
0
1

0
1
0
0

0
0
1
1

0
0
1
0

0
0
0
1

0
0
0
0

To determine the number of different Boolean functions
of degree n, we use the formula: 22n
Identities of Boolean Algebra
Identity

Name

x=x

Law of double complement

x+x = x
x.x = x

x +0 = x
x.1 = x
x +1 =1
x.0 = 0

x+ y = y+ x
xy = yx

Idempotent Laws
Identity Laws
Dominance Laws
Commutative Laws
Identities of Boolean Algebra
Identity

x + ( y + z) = ( x + y) + z
x( yz ) = ( xy ) z

Name
Associative Laws

x + yz = ( x + y )( x + z )
x( y + z ) = xy + xz

Distributive Laws

( xy ) = x + y
( x + y ) = xy

De Morgan’s Laws
Example: Show that the distributive law
x(y + z) = xy + xz is valid
x

y

z

y+z

xy

xz

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

1
1
1
0
1
1
1
0

1
1
0
0
0
0
0
0

1
0
1
0
0
0
0
0

x(y+z) xy+xz

1
1
1
0
0
0
0
0

1
1
1
0
0
0
0
0
Duality
The dual of a Boolean expression is obtained by
interchanging Boolean sums and Boolean products
and interchanging 0s and 1s.
Find the duals of

Answer:

x( y + 0 ) and
x .1 + ( y + z ) .

x + ( y.1) and
( x + 0)( yz )
Note:
The dual of the Boolean function F, denoted by
Fd, represented by a Boolean expression is the function
represented by the dual of this expression. This dual
function does not depend on the particular Boolean
expression used to represent F. An identity between
functions represented by Boolean expressions remains
valid when the duals of both sides of the identity are
taken. This result, called the duality principle, is
useful for obtaining new identities.
A Boolean algebra is a set B with two binary
operations v and ʌ, elements 0 and 1, and unary
operation ¬ such that the following properties hold
for all x, y, and z in B:

x ∨ 0 = x

x ∧1 = x 

Identity Laws

x ∨ x =1

x ∧ x = 0

Domination Laws
x ∨ y = y ∨ x

x ∧ y = y ∧ x

Commutative Laws

( x ∨ y) ∨ z = x ∨ ( y ∨ z)

( x ∧ y) ∧ z = x ∧ ( y ∧ z)

Associative Laws

x ∨ ( y ∧ z) = ( x ∨ y) ∧ ( x ∨ z)

x ∧ ( y ∨ z) = ( x ∧ y) ∨ ( x ∧ z)

Distributive Laws
Representing Boolean Functions
Find Boolean expressions that
functions F(x, y, z) and G(x, y, z)
x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

F
0
0
1
0
0
0
0
0

G
0
1
0
0
0
1
0
0

represent

the

To represent F, the value is
1 when x = z = 1 and y = 0
or xy’z.
To represent G, the value is
1 when x = y = 1 and z = 0
or when x = z = 0 and y =1.
We can form an expression
with these values by taking
the Boolean sum of two
different Boolean products.
x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

F
0
0
1
0
0
0
0
0

G
0
1
0
0
0
1
0
0

xyz’ x’yz’
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0

xyz’ + x’yz’
0
1
0
0
0
1
0
0

xyz’ has value 1, iff x = y = 1 and z = 0
x’yz’ has value 1, iff x = y = 1 and z = 0
xyz’ + x’yz’ has value 1, iff x = y = 1 and z = 0
or x = z = 0 and y = 1
A literal is a Boolean variable or its complement. A
minterm of the Boolean variables x1, x2, …, xn is a
Boolean product y1, y2, …, yn, where yi = xi or yi = x’i.
Hence, a minterm is a product of n literals, with one
literal for each variable.
Example: Find a minterm that equals 1 if x 1 = x3 = 0
and x2 = x4 = x5 = 1, and equals 0 otherwise.

x1 x2 x3 x4 x5

The minterm showed has the
correct set of values.
Sum-of-products expansion or the disjunctive
normal form of the Boolean function is the sum of
minterms that represents a function. A Boolean sum
of minterms has the value 1 when exactly one of the
minterms in the sum has the value 1.
It is also possible to find a Boolean expression that
represents a Boolean function by taking a Boolean
product of Boolean sums. The resulting expansion is
called the conjunctive normal form or product-ofsums expansion of the function. These expansions
can be found from sum-of-products expansion by
taking their duals.
Find the sum-of-products expansion for the function

F ( x, y , z ) = ( x + y ) z

x
1
1
1
1
0
0
0
0
Answer:

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

x+y
1
1
1
1
1
1
0
0

z’
0
1
0
1
0
1
0
1

(x + y)z’
0
1
0
1
0
1
0
0

F ( x, y, z ) = xyz + xyz + x yz
Logic Gates
Gates are the basic elements of circuits.
Combinatorial circuits or gating networks are
circuits have no memory capabilities. These circuits
give output that depends only on the input, and not
on the current state of the circuit.
Types of Elements
Inverter which accepts the value of one Boolean
variable as input and produces the complement of
this value as output.
OR Gate, the inputs are the values of two or more
Boolean variables. The output is the Boolean sum of
their values.
AND Gate, the inputs are the values of two or more
Boolean variables. The output is the Boolean
product of their values.
Basic Types of Gates

x

x

x
y

x+y

x
y

xy

inverter

OR gate

AND gate
Combinations of Gates
Combinational circuits can be constructed using a
combination of inverters, OR gates, and AND gates.
Example:

x
y
x
y

xy
xy + x y

x
xy
Exercises:
1.Find the Boolean product of the Boolean variables
x, y, and z, or their complements, that has the value
1 if and only if
a. x =y = 0, z = 1
b. x = z = 0, y = 1
c. x = 0, y = z = 1
d. x = y = z = 0
2. Find the sum-of-products expansions of the
following Boolean functions.

a ) F ( x, y , z ) = x + y + z
b ) F ( x, y , z ) = ( x + z ) y
c) F ( x, y, z ) = x + yz
d ) F ( x, y, z ) = xy + z
Exercises:
Construct circuits that produce the following
outputs:

1)( x + y ) x
2) x ( y + z )
3)( x + y + z )( x yz )

More Related Content

What's hot

Multiplexers
MultiplexersMultiplexers
Multiplexers
DrSonali Vyas
 
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
ISMT College
 
EE5440 – Computer Architecture - Lecture 1
EE5440 – Computer Architecture - Lecture 1EE5440 – Computer Architecture - Lecture 1
EE5440 – Computer Architecture - Lecture 1
Dilawar Khan
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Ashish Duggal
 
Digital Logic circuit
Digital Logic circuitDigital Logic circuit
Digital Logic circuit
kavitha muneeshwaran
 
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMINGChapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
Frankie Jones
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean Algebra
blaircomp2003
 
Logic simplification sop and pos forms
Logic simplification sop and pos formsLogic simplification sop and pos forms
Logic simplification sop and pos forms
Manesh T
 
Combinational circuits
Combinational circuitsCombinational circuits
Combinational circuits
Jamnas Mundakkutty A
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
Rokonuzzaman Rony
 
Assembly Language
Assembly LanguageAssembly Language
Assembly Language
Ibrahimcommunication Al Ani
 
Sop and pos
Sop and posSop and pos
Sop and pos
shubhamprajapat23
 
FInite Automata
FInite AutomataFInite Automata
FInite Automata
Mobeen Mustafa
 
Boolean algebra & logic gates
Boolean algebra & logic gatesBoolean algebra & logic gates
Boolean algebra & logic gates
Prof. Dr. K. Adisesha
 
Logical, Shift, and Rotate Instruction
Logical, Shift, and Rotate InstructionLogical, Shift, and Rotate Instruction
Logical, Shift, and Rotate Instruction
Badrul Alam
 
BOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATEBOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATE
Ideal Eyes Business College
 
KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)
mihir jain
 
5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
Sampath Kumar S
 
SOP POS, Minterm and Maxterm
SOP POS, Minterm and MaxtermSOP POS, Minterm and Maxterm
SOP POS, Minterm and Maxterm
Self-employed
 
Counters In Digital Logic Design
Counters In Digital Logic DesignCounters In Digital Logic Design
Counters In Digital Logic Design
Syed Abdul Mutaal
 

What's hot (20)

Multiplexers
MultiplexersMultiplexers
Multiplexers
 
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
Adder & subtractor (Half adder, Full adder, Half subtractor, Full subtractor)
 
EE5440 – Computer Architecture - Lecture 1
EE5440 – Computer Architecture - Lecture 1EE5440 – Computer Architecture - Lecture 1
EE5440 – Computer Architecture - Lecture 1
 
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDAPush Down Automata (PDA) | TOC  (Theory of Computation) | NPDA | DPDA
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
 
Digital Logic circuit
Digital Logic circuitDigital Logic circuit
Digital Logic circuit
 
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMINGChapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
Chapter 3 INSTRUCTION SET AND ASSEMBLY LANGUAGE PROGRAMMING
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean Algebra
 
Logic simplification sop and pos forms
Logic simplification sop and pos formsLogic simplification sop and pos forms
Logic simplification sop and pos forms
 
Combinational circuits
Combinational circuitsCombinational circuits
Combinational circuits
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
Assembly Language
Assembly LanguageAssembly Language
Assembly Language
 
Sop and pos
Sop and posSop and pos
Sop and pos
 
FInite Automata
FInite AutomataFInite Automata
FInite Automata
 
Boolean algebra & logic gates
Boolean algebra & logic gatesBoolean algebra & logic gates
Boolean algebra & logic gates
 
Logical, Shift, and Rotate Instruction
Logical, Shift, and Rotate InstructionLogical, Shift, and Rotate Instruction
Logical, Shift, and Rotate Instruction
 
BOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATEBOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATE
 
KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)KARNAUGH MAP(K-MAP)
KARNAUGH MAP(K-MAP)
 
5.2 primitive recursive functions
5.2 primitive recursive functions5.2 primitive recursive functions
5.2 primitive recursive functions
 
SOP POS, Minterm and Maxterm
SOP POS, Minterm and MaxtermSOP POS, Minterm and Maxterm
SOP POS, Minterm and Maxterm
 
Counters In Digital Logic Design
Counters In Digital Logic DesignCounters In Digital Logic Design
Counters In Digital Logic Design
 

Viewers also liked

Verslag humanistisch lab 20 oktober HV MiddenHolland
Verslag humanistisch lab 20 oktober HV MiddenHollandVerslag humanistisch lab 20 oktober HV MiddenHolland
Verslag humanistisch lab 20 oktober HV MiddenHollandHVMiddenHolland
 
Leaders of the new world of finance
Leaders of the new world of finance Leaders of the new world of finance
Leaders of the new world of finance
RippleIsrael
 
Obrazy olowkowe
Obrazy olowkoweObrazy olowkowe
Obrazy olowkowe
Michal Dybowski
 
Introduction to Swift 2
Introduction to Swift 2Introduction to Swift 2
Introduction to Swift 2
Joris Timmerman
 
Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회상현 양
 
Nicole trunfio famous model
Nicole trunfio famous modelNicole trunfio famous model
Nicole trunfio famous model
cherrysmith
 
Evaluation Question 1
Evaluation Question 1Evaluation Question 1
Evaluation Question 1
Ashley4510
 
Museum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
Museum Object Pest & Mold Control Methods in Storage-JenniferHein ConservationMuseum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
Museum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
Museum Grant Advocate: CAP, NEA, NEH in 7 states
 
Uses & gratifications
Uses & gratifications Uses & gratifications
Uses & gratifications
Ashley4510
 
Representation
RepresentationRepresentation
Representation
Ashley4510
 
Step By Step Front Cover
Step By Step Front Cover Step By Step Front Cover
Step By Step Front Cover
Ashley4510
 
Nicole trunfio supermodel
Nicole trunfio supermodelNicole trunfio supermodel
Nicole trunfio supermodel
cherrysmith
 
제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리
상현 양
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1
Ashley4510
 
Nicole trunfio
Nicole trunfioNicole trunfio
Nicole trunfio
cherrysmith
 
Step By Step - Front Cover
Step By Step - Front CoverStep By Step - Front Cover
Step By Step - Front Cover
Ashley4510
 
Masper - The India's Leading Home Furnishing Store
Masper - The India's Leading Home Furnishing StoreMasper - The India's Leading Home Furnishing Store
Masper - The India's Leading Home Furnishing Store
masparindia
 
2015 하반기 AppJam
2015 하반기 AppJam 2015 하반기 AppJam
2015 하반기 AppJam
상현 양
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1
Ashley4510
 

Viewers also liked (20)

Verslag humanistisch lab 20 oktober HV MiddenHolland
Verslag humanistisch lab 20 oktober HV MiddenHollandVerslag humanistisch lab 20 oktober HV MiddenHolland
Verslag humanistisch lab 20 oktober HV MiddenHolland
 
Leaders of the new world of finance
Leaders of the new world of finance Leaders of the new world of finance
Leaders of the new world of finance
 
Obrazy olowkowe
Obrazy olowkoweObrazy olowkowe
Obrazy olowkowe
 
Introduction to Swift 2
Introduction to Swift 2Introduction to Swift 2
Introduction to Swift 2
 
Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회
 
Nicole trunfio famous model
Nicole trunfio famous modelNicole trunfio famous model
Nicole trunfio famous model
 
Evaluation Question 1
Evaluation Question 1Evaluation Question 1
Evaluation Question 1
 
Museum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
Museum Object Pest & Mold Control Methods in Storage-JenniferHein ConservationMuseum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
Museum Object Pest & Mold Control Methods in Storage-JenniferHein Conservation
 
Uses & gratifications
Uses & gratifications Uses & gratifications
Uses & gratifications
 
Representation
RepresentationRepresentation
Representation
 
Step By Step Front Cover
Step By Step Front Cover Step By Step Front Cover
Step By Step Front Cover
 
Nicole trunfio supermodel
Nicole trunfio supermodelNicole trunfio supermodel
Nicole trunfio supermodel
 
제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1
 
Nicole trunfio
Nicole trunfioNicole trunfio
Nicole trunfio
 
Step By Step - Front Cover
Step By Step - Front CoverStep By Step - Front Cover
Step By Step - Front Cover
 
Masper - The India's Leading Home Furnishing Store
Masper - The India's Leading Home Furnishing StoreMasper - The India's Leading Home Furnishing Store
Masper - The India's Leading Home Furnishing Store
 
Dowcipy zdjeciowe
Dowcipy zdjecioweDowcipy zdjeciowe
Dowcipy zdjeciowe
 
2015 하반기 AppJam
2015 하반기 AppJam 2015 하반기 AppJam
2015 하반기 AppJam
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1
 

Similar to Boolean

DM2020 boolean algebra
DM2020 boolean algebraDM2020 boolean algebra
DM2020 boolean algebra
Robert Geofroy
 
Admission in india 2015
Admission in india 2015Admission in india 2015
Admission in india 2015
Edhole.com
 
boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematics
somnathmule3
 
BOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.pptBOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.ppt
SainiNageshSir
 
2nd PUC computer science chapter 2 boolean algebra
2nd PUC computer science chapter 2  boolean algebra 2nd PUC computer science chapter 2  boolean algebra
2nd PUC computer science chapter 2 boolean algebra
Aahwini Esware gowda
 
boolean.pdf
boolean.pdfboolean.pdf
boolean.pdf
NirnayaNbstriker
 
boolean algebra
boolean algebraboolean algebra
boolean algebra
mayannpolisticoLNU
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
mdaglis
 
Chapter 2.pptx
Chapter 2.pptxChapter 2.pptx
Chapter 2.pptx
AliaaTarek5
 
Logical operations & boolean algebra
Logical operations & boolean algebraLogical operations & boolean algebra
Logical operations & boolean algebra
Andrei Jechiu
 
BooleanAlgebra.ppt
BooleanAlgebra.pptBooleanAlgebra.ppt
BooleanAlgebra.ppt
Karthi Keyan
 
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
arunachalamr16
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic Gates
Kumar
 
Boolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdfBoolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdf
SangitaBose2
 
Math task 3
Math task 3Math task 3
Math task 3
blackbox90s
 
Boolean Matching in Logic Synthesis
Boolean Matching in Logic SynthesisBoolean Matching in Logic Synthesis
Boolean Matching in Logic Synthesis
Iffat Anjum
 
Limits and derivatives
Limits and derivativesLimits and derivatives
Limits and derivatives
Laxmikant Deshmukh
 
Boolean Algebra logic and De Morgan theorem
Boolean Algebra logic and De Morgan theoremBoolean Algebra logic and De Morgan theorem
Boolean Algebra logic and De Morgan theorem
balafet
 
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
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
Burhanuddin Mohammad
 

Similar to Boolean (20)

DM2020 boolean algebra
DM2020 boolean algebraDM2020 boolean algebra
DM2020 boolean algebra
 
Admission in india 2015
Admission in india 2015Admission in india 2015
Admission in india 2015
 
boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematics
 
BOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.pptBOOLEAN ALGEBRA.ppt
BOOLEAN ALGEBRA.ppt
 
2nd PUC computer science chapter 2 boolean algebra
2nd PUC computer science chapter 2  boolean algebra 2nd PUC computer science chapter 2  boolean algebra
2nd PUC computer science chapter 2 boolean algebra
 
boolean.pdf
boolean.pdfboolean.pdf
boolean.pdf
 
boolean algebra
boolean algebraboolean algebra
boolean algebra
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
Chapter 2.pptx
Chapter 2.pptxChapter 2.pptx
Chapter 2.pptx
 
Logical operations & boolean algebra
Logical operations & boolean algebraLogical operations & boolean algebra
Logical operations & boolean algebra
 
BooleanAlgebra.ppt
BooleanAlgebra.pptBooleanAlgebra.ppt
BooleanAlgebra.ppt
 
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
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic Gates
 
Boolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdfBoolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdf
 
Math task 3
Math task 3Math task 3
Math task 3
 
Boolean Matching in Logic Synthesis
Boolean Matching in Logic SynthesisBoolean Matching in Logic Synthesis
Boolean Matching in Logic Synthesis
 
Limits and derivatives
Limits and derivativesLimits and derivatives
Limits and derivatives
 
Boolean Algebra logic and De Morgan theorem
Boolean Algebra logic and De Morgan theoremBoolean Algebra logic and De Morgan theorem
Boolean Algebra logic and De Morgan theorem
 
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
ESTUDO DE ALGEBRA BOOLEANA PARA ESTUDOS.
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
 

More from Jeane Paguio

Slideshare Project Proposal
Slideshare Project ProposalSlideshare Project Proposal
Slideshare Project Proposal
Jeane Paguio
 
Technical writing i
Technical writing iTechnical writing i
Technical writing i
Jeane Paguio
 
UCL of Slideshare
UCL of SlideshareUCL of Slideshare
UCL of Slideshare
Jeane Paguio
 
Graph theory
Graph theoryGraph theory
Graph theory
Jeane Paguio
 
Logic
LogicLogic
Future of systems analysis
Future of systems analysisFuture of systems analysis
Future of systems analysis
Jeane Paguio
 

More from Jeane Paguio (6)

Slideshare Project Proposal
Slideshare Project ProposalSlideshare Project Proposal
Slideshare Project Proposal
 
Technical writing i
Technical writing iTechnical writing i
Technical writing i
 
UCL of Slideshare
UCL of SlideshareUCL of Slideshare
UCL of Slideshare
 
Graph theory
Graph theoryGraph theory
Graph theory
 
Logic
LogicLogic
Logic
 
Future of systems analysis
Future of systems analysisFuture of systems analysis
Future of systems analysis
 

Recently uploaded

GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Neo4j
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Alex Pruden
 
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success StoryDriving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Safe Software
 
Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays - June 2024Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays - June 2024
Jason Packer
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
Fwdays
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
saastr
 
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Digital Banking in the Cloud: How Citizens Bank Unlocked Their MainframeDigital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Precisely
 
Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
BibashShahi
 
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-EfficiencyFreshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
ScyllaDB
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
Zilliz
 
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid ResearchHarnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Neo4j
 
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
Jason Yip
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
akankshawande
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Hiroshi SHIBATA
 
Mutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented ChatbotsMutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented Chatbots
Pablo Gómez Abajo
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
Ivanti
 
Choosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptxChoosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptx
Brandon Minnick, MBA
 
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
saastr
 
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing InstancesEnergy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Alpen-Adria-Universität
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
Fwdays
 

Recently uploaded (20)

GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
 
Driving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success StoryDriving Business Innovation: Latest Generative AI Advancements & Success Story
Driving Business Innovation: Latest Generative AI Advancements & Success Story
 
Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays - June 2024Columbus Data & Analytics Wednesdays - June 2024
Columbus Data & Analytics Wednesdays - June 2024
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
 
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Digital Banking in the Cloud: How Citizens Bank Unlocked Their MainframeDigital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
Digital Banking in the Cloud: How Citizens Bank Unlocked Their Mainframe
 
Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
 
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-EfficiencyFreshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
 
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid ResearchHarnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
 
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
[OReilly Superstream] Occupy the Space: A grassroots guide to engineering (an...
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
 
Mutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented ChatbotsMutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented Chatbots
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
 
Choosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptxChoosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptx
 
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
 
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing InstancesEnergy Efficient Video Encoding for Cloud and Edge Computing Instances
Energy Efficient Video Encoding for Cloud and Edge Computing Instances
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
 

Boolean

  • 1. Boolean Expressions and Boolean Functions Let B = {0, 1}. The variable x is called a Boolean variable if it assumes values only from B. A function Bn, the set {(x1, x2, ….xn)|xi ε B, 1 ≤ i ≤ n}, to B is called a Boolean function of degree n x y F(x, y) 1 1 0 The values of Boolean function. 1 0 1 0 1 0 0 0 0 The Boolean expressions in the variables x1, x2, …,xn are defined recursively as follows: 0, 1, x1, x2, ….., xn
  • 2. Example: Find the values of the Boolean function represented by F ( x, y, z ) = xy + z x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 xy 1 1 0 0 0 0 0 0 z’ 0 1 0 1 0 1 0 1 xy + z’ 1 1 0 1 0 1 0 1
  • 3. The Boolean functions F and G of n variables are equal if and only if F(b1, b2, …, bn) = G(b1, b2, …,bn) whenever b1, b2, …, bn belong to B. Two different Boolean expressions that represent the same function are called equivalent. ex: xy, xy + 0, and (xy)1 The complement of the Boolean function F is the function F , where F ( x1 ,  , xn ) = F ( x1 ,  xn )
  • 4. The Boolean sum F + G and the Boolean product FG are defined by (F + G)(x1,…., xn) = F(x1,…, xn) + G(x1,…, xn), (FG)(x1,…, xn) = F(x1,…, xn)G(x1,…, xn) The Boolean functions of degree 2 x y F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15 F16 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 To determine the number of different Boolean functions of degree n, we use the formula: 22n
  • 5. Identities of Boolean Algebra Identity Name x=x Law of double complement x+x = x x.x = x x +0 = x x.1 = x x +1 =1 x.0 = 0 x+ y = y+ x xy = yx Idempotent Laws Identity Laws Dominance Laws Commutative Laws
  • 6. Identities of Boolean Algebra Identity x + ( y + z) = ( x + y) + z x( yz ) = ( xy ) z Name Associative Laws x + yz = ( x + y )( x + z ) x( y + z ) = xy + xz Distributive Laws ( xy ) = x + y ( x + y ) = xy De Morgan’s Laws
  • 7. Example: Show that the distributive law x(y + z) = xy + xz is valid x y z y+z xy xz 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 x(y+z) xy+xz 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0
  • 8. Duality The dual of a Boolean expression is obtained by interchanging Boolean sums and Boolean products and interchanging 0s and 1s. Find the duals of Answer: x( y + 0 ) and x .1 + ( y + z ) . x + ( y.1) and ( x + 0)( yz )
  • 9. Note: The dual of the Boolean function F, denoted by Fd, represented by a Boolean expression is the function represented by the dual of this expression. This dual function does not depend on the particular Boolean expression used to represent F. An identity between functions represented by Boolean expressions remains valid when the duals of both sides of the identity are taken. This result, called the duality principle, is useful for obtaining new identities.
  • 10. A Boolean algebra is a set B with two binary operations v and ʌ, elements 0 and 1, and unary operation ¬ such that the following properties hold for all x, y, and z in B: x ∨ 0 = x  x ∧1 = x  Identity Laws x ∨ x =1  x ∧ x = 0 Domination Laws
  • 11. x ∨ y = y ∨ x  x ∧ y = y ∧ x Commutative Laws ( x ∨ y) ∨ z = x ∨ ( y ∨ z)  ( x ∧ y) ∧ z = x ∧ ( y ∧ z) Associative Laws x ∨ ( y ∧ z) = ( x ∨ y) ∧ ( x ∨ z)  x ∧ ( y ∨ z) = ( x ∧ y) ∨ ( x ∧ z) Distributive Laws
  • 12. Representing Boolean Functions Find Boolean expressions that functions F(x, y, z) and G(x, y, z) x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 F 0 0 1 0 0 0 0 0 G 0 1 0 0 0 1 0 0 represent the To represent F, the value is 1 when x = z = 1 and y = 0 or xy’z. To represent G, the value is 1 when x = y = 1 and z = 0 or when x = z = 0 and y =1. We can form an expression with these values by taking the Boolean sum of two different Boolean products.
  • 13. x 1 1 1 1 0 0 0 0 y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 F 0 0 1 0 0 0 0 0 G 0 1 0 0 0 1 0 0 xyz’ x’yz’ 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 xyz’ + x’yz’ 0 1 0 0 0 1 0 0 xyz’ has value 1, iff x = y = 1 and z = 0 x’yz’ has value 1, iff x = y = 1 and z = 0 xyz’ + x’yz’ has value 1, iff x = y = 1 and z = 0 or x = z = 0 and y = 1
  • 14. A literal is a Boolean variable or its complement. A minterm of the Boolean variables x1, x2, …, xn is a Boolean product y1, y2, …, yn, where yi = xi or yi = x’i. Hence, a minterm is a product of n literals, with one literal for each variable. Example: Find a minterm that equals 1 if x 1 = x3 = 0 and x2 = x4 = x5 = 1, and equals 0 otherwise. x1 x2 x3 x4 x5 The minterm showed has the correct set of values.
  • 15. Sum-of-products expansion or the disjunctive normal form of the Boolean function is the sum of minterms that represents a function. A Boolean sum of minterms has the value 1 when exactly one of the minterms in the sum has the value 1. It is also possible to find a Boolean expression that represents a Boolean function by taking a Boolean product of Boolean sums. The resulting expansion is called the conjunctive normal form or product-ofsums expansion of the function. These expansions can be found from sum-of-products expansion by taking their duals.
  • 16. Find the sum-of-products expansion for the function F ( x, y , z ) = ( x + y ) z x 1 1 1 1 0 0 0 0 Answer: y 1 1 0 0 1 1 0 0 z 1 0 1 0 1 0 1 0 x+y 1 1 1 1 1 1 0 0 z’ 0 1 0 1 0 1 0 1 (x + y)z’ 0 1 0 1 0 1 0 0 F ( x, y, z ) = xyz + xyz + x yz
  • 17. Logic Gates Gates are the basic elements of circuits. Combinatorial circuits or gating networks are circuits have no memory capabilities. These circuits give output that depends only on the input, and not on the current state of the circuit. Types of Elements Inverter which accepts the value of one Boolean variable as input and produces the complement of this value as output. OR Gate, the inputs are the values of two or more Boolean variables. The output is the Boolean sum of their values. AND Gate, the inputs are the values of two or more Boolean variables. The output is the Boolean product of their values.
  • 18. Basic Types of Gates x x x y x+y x y xy inverter OR gate AND gate
  • 19. Combinations of Gates Combinational circuits can be constructed using a combination of inverters, OR gates, and AND gates. Example: x y x y xy xy + x y x xy
  • 20. Exercises: 1.Find the Boolean product of the Boolean variables x, y, and z, or their complements, that has the value 1 if and only if a. x =y = 0, z = 1 b. x = z = 0, y = 1 c. x = 0, y = z = 1 d. x = y = z = 0 2. Find the sum-of-products expansions of the following Boolean functions. a ) F ( x, y , z ) = x + y + z b ) F ( x, y , z ) = ( x + z ) y c) F ( x, y, z ) = x + yz d ) F ( x, y, z ) = xy + z
  • 21. Exercises: Construct circuits that produce the following outputs: 1)( x + y ) x 2) x ( y + z ) 3)( x + y + z )( x yz )

Editor's Notes

  1. {}