SlideShare a Scribd company logo
1 of 21
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

BOOLEAN ALGEBRA AND LOGIC GATE
BOOLEAN ALGEBRA AND LOGIC GATE BOOLEAN ALGEBRA AND LOGIC GATE
BOOLEAN ALGEBRA AND LOGIC GATE Tamim Tanvir
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic GatesKumar
 
digital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gatesdigital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gatesImran Waris
 
basic logic gates
 basic logic gates basic logic gates
basic logic gatesvishal gupta
 
Radial Basis Function - Example
Radial Basis Function - ExampleRadial Basis Function - Example
Radial Basis Function - Exampleahmad haidaroh
 
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
 
Lesson 22: Quadratic Forms
Lesson 22: Quadratic FormsLesson 22: Quadratic Forms
Lesson 22: Quadratic FormsMatthew Leingang
 
Digital logic circuits important question and answers for 5 units
Digital logic circuits important question and answers for 5 unitsDigital logic circuits important question and answers for 5 units
Digital logic circuits important question and answers for 5 unitsLekashri Subramanian
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean AlgebraHau Moy
 
Boolean Algebra and Logic Smiplification
Boolean Algebra and Logic SmiplificationBoolean Algebra and Logic Smiplification
Boolean Algebra and Logic Smiplificationsamantha rathnayake
 
BCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codesBCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codesstudent
 
Digital Logic Circuits
Digital Logic CircuitsDigital Logic Circuits
Digital Logic Circuitssathish sak
 
3.2.interpolation lagrange
3.2.interpolation lagrange3.2.interpolation lagrange
3.2.interpolation lagrangeSamuelOseiAsare
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebraRania H
 
Mealy and moore machine
Mealy and moore machineMealy and moore machine
Mealy and moore machineEhatsham Riaz
 
The False-Position Method
The False-Position MethodThe False-Position Method
The False-Position MethodTayyaba Abbas
 
Solution Manual : Chapter - 02 Limits and Continuity
Solution Manual : Chapter - 02 Limits and ContinuitySolution Manual : Chapter - 02 Limits and Continuity
Solution Manual : Chapter - 02 Limits and ContinuityHareem Aslam
 

What's hot (20)

BOOLEAN ALGEBRA AND LOGIC GATE
BOOLEAN ALGEBRA AND LOGIC GATE BOOLEAN ALGEBRA AND LOGIC GATE
BOOLEAN ALGEBRA AND LOGIC GATE
 
Boolean algebra And Logic Gates
Boolean algebra And Logic GatesBoolean algebra And Logic Gates
Boolean algebra And Logic Gates
 
digital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gatesdigital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gates
 
basic logic gates
 basic logic gates basic logic gates
basic logic gates
 
DESIGN OF COMBINATIONAL LOGIC
DESIGN OF COMBINATIONAL LOGICDESIGN OF COMBINATIONAL LOGIC
DESIGN OF COMBINATIONAL LOGIC
 
Radial Basis Function - Example
Radial Basis Function - ExampleRadial Basis Function - Example
Radial Basis Function - Example
 
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
 
Lesson 22: Quadratic Forms
Lesson 22: Quadratic FormsLesson 22: Quadratic Forms
Lesson 22: Quadratic Forms
 
Graph theory presentation
Graph theory presentationGraph theory presentation
Graph theory presentation
 
Digital logic circuits important question and answers for 5 units
Digital logic circuits important question and answers for 5 unitsDigital logic circuits important question and answers for 5 units
Digital logic circuits important question and answers for 5 units
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean Algebra
 
Boolean Algebra and Logic Smiplification
Boolean Algebra and Logic SmiplificationBoolean Algebra and Logic Smiplification
Boolean Algebra and Logic Smiplification
 
BCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codesBCD,GRAY and EXCESS 3 codes
BCD,GRAY and EXCESS 3 codes
 
Digital Logic Circuits
Digital Logic CircuitsDigital Logic Circuits
Digital Logic Circuits
 
3.2.interpolation lagrange
3.2.interpolation lagrange3.2.interpolation lagrange
3.2.interpolation lagrange
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
Mealy and moore machine
Mealy and moore machineMealy and moore machine
Mealy and moore machine
 
The False-Position Method
The False-Position MethodThe False-Position Method
The False-Position Method
 
Solution Manual : Chapter - 02 Limits and Continuity
Solution Manual : Chapter - 02 Limits and ContinuitySolution Manual : Chapter - 02 Limits and Continuity
Solution Manual : Chapter - 02 Limits and Continuity
 
Boolean Algebra
Boolean AlgebraBoolean Algebra
Boolean Algebra
 

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
 
Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회Semicolon Devloper 성과발표회
Semicolon Devloper 성과발표회상현 양
 
Nicole trunfio famous model
Nicole trunfio famous modelNicole trunfio famous model
Nicole trunfio famous modelcherrysmith
 
Evaluation Question 1
Evaluation Question 1Evaluation Question 1
Evaluation Question 1Ashley4510
 
Uses & gratifications
Uses & gratifications Uses & gratifications
Uses & gratifications Ashley4510
 
Representation
RepresentationRepresentation
RepresentationAshley4510
 
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 supermodelcherrysmith
 
제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리제4회 SK APPJAM 앱등이팀 - 커프리
제4회 SK APPJAM 앱등이팀 - 커프리상현 양
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1Ashley4510
 
Step By Step - Front Cover
Step By Step - Front CoverStep By Step - Front Cover
Step By Step - Front CoverAshley4510
 
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 Storemasparindia
 
2015 하반기 AppJam
2015 하반기 AppJam 2015 하반기 AppJam
2015 하반기 AppJam 상현 양
 
Second evaltuation q1
Second evaltuation q1Second evaltuation q1
Second evaltuation q1Ashley4510
 

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 algebraRobert Geofroy
 
Admission in india 2015
Admission in india 2015Admission in india 2015
Admission in india 2015Edhole.com
 
boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicssomnathmule3
 
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
 
Logical operations & boolean algebra
Logical operations & boolean algebraLogical operations & boolean algebra
Logical operations & boolean algebraAndrei Jechiu
 
BooleanAlgebra.ppt
BooleanAlgebra.pptBooleanAlgebra.ppt
BooleanAlgebra.pptKarthi 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 theoremsarunachalamr16
 
Boolean Matching in Logic Synthesis
Boolean Matching in Logic SynthesisBoolean Matching in Logic Synthesis
Boolean Matching in Logic SynthesisIffat Anjum
 
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 theorembalafet
 
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
 
Boolean expression org.
Boolean expression org.Boolean expression org.
Boolean expression org.mshoaib15
 
Relations among variables
Relations among variablesRelations among variables
Relations among variablesJulio Huato
 

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
 
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
 
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
 
Universal algebra (1)
Universal algebra (1)Universal algebra (1)
Universal algebra (1)
 
Boolean expression org.
Boolean expression org.Boolean expression org.
Boolean expression org.
 
Relations among variables
Relations among variablesRelations among variables
Relations among variables
 

More from 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

My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machinePadma Pradeep
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxnull - The Open Security Community
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsAndrey Dotsenko
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Alan Dix
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):comworks
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada
 
Unlocking the Potential of the Cloud for IBM Power Systems
Unlocking the Potential of the Cloud for IBM Power SystemsUnlocking the Potential of the Cloud for IBM Power Systems
Unlocking the Potential of the Cloud for IBM Power SystemsPrecisely
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraDeakin University
 

Recently uploaded (20)

My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
Install Stable Diffusion in windows machine
Install Stable Diffusion in windows machineInstall Stable Diffusion in windows machine
Install Stable Diffusion in windows machine
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food Manufacturing
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
The transition to renewables in India.pdf
The transition to renewables in India.pdfThe transition to renewables in India.pdf
The transition to renewables in India.pdf
 
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort ServiceHot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxMaking_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
 
CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):CloudStudio User manual (basic edition):
CloudStudio User manual (basic edition):
 
Streamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project SetupStreamlining Python Development: A Guide to a Modern Project Setup
Streamlining Python Development: A Guide to a Modern Project Setup
 
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special EditionDMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
 
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
 
Unlocking the Potential of the Cloud for IBM Power Systems
Unlocking the Potential of the Cloud for IBM Power SystemsUnlocking the Potential of the Cloud for IBM Power Systems
Unlocking the Potential of the Cloud for IBM Power Systems
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL Certs
 
Connect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck PresentationConnect Wave/ connectwave Pitch Deck Presentation
Connect Wave/ connectwave Pitch Deck Presentation
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Artificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning eraArtificial intelligence in the post-deep learning era
Artificial intelligence in the post-deep learning era
 

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. {}