BOOLEAN ALGEBRA.

Slides:



Advertisements
Similar presentations
Boolean Algebra and Logic Gates
Advertisements

INTRODUCTION LOGICAL OPERATIONS TRUTH TABLE AND RULES.
Presented by: Ms. Maria Estrellita D. Hechanova, ECE
Chapter 2 Logic Circuits.
ECE 331 – Digital System Design Boolean Algebra (Lecture #3) The slides included herein were taken from the materials accompanying Fundamentals of Logic.
Boolean Algebra and Logic Gate
1 Section 10.1 Boolean Functions. 2 Computers & Boolean Algebra Circuits in computers have inputs whose values are either 0 or 1 Mathematician George.
1 Boolean Algebra & Logic Design. 2 Developed by George Boole in the 1850s Mathematical theory of logic. Shannon was the first to use Boolean Algebra.
ENGIN112 L5: Boolean Algebra September 12, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 5 Boolean Algebra.
Boolean Algebra. Introduction 1854: Logical algebra was published by George Boole  known today as “Boolean Algebra” 1854: Logical algebra was published.
Logic Gates Circuits to manipulate 0’s and 1’s. 0’s and 1’s used for numbers Also to make decisions within the computer. In that context, 1 corresponds.
Binary Logic and Gates COE 202 Digital Logic Design Dr. Aiman El-Maleh
Boolean Algebra Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2009.
CHAPTER 2 Boolean Algebra
Boolean Algebra – I. Outline  Introduction  Digital circuits  Boolean Algebra  Two-Valued Boolean Algebra  Boolean Algebra Postulates  Precedence.
BOOLEAN ALGEBRA Saras M. Srivastava PGT (Computer Science)
Boolean Algebra and Digital Circuits
©2004 Brooks/Cole FIGURES FOR CHAPTER 2 BOOLEAN ALGEBRA Click the mouse to move to the next page. Use the ESC key to exit this chapter. This chapter in.
Digital Systems: Boolean Algebra and Logic Gates
Computer Science 210 Computer Organization Introduction to Boolean Algebra.
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
LOGIC GATES AND CIRCUITS Digital systems are said to be constructed by using logic gates. These gates are the AND, OR, NOT, NAND, NOR, EXOR and EXNOR gates.
ECE 301 – Digital Electronics Basic Logic Operations, Boolean Expressions, and Boolean Algebra (Lecture #3)
1 Boolean Algebra  Digital circuits Digital circuits  Boolean Algebra Boolean Algebra  Two-Valued Boolean Algebra Two-Valued Boolean Algebra  Boolean.
1 BOOLEAN ALGEBRA Basic mathematics for the study of logic design is Boolean Algebra Basic laws of Boolean Algebra will be implemented as switching devices.
Figure 2.6. A truth table for the AND and OR operations. 2.3 Truth Tables 1.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
Lecture 4 Boolean Algebra. Logical Statements °A proposition that may or may not be true: Today is Monday Today is Sunday It is raining °Compound Statements.
Logic Circuits Lecture 3 By Amr Al-Awamry. Basic Definitions Binary Operators  AND z = x y = x yz=1 if x=1 AND y=1  OR z = x + y z=1 if x=1 OR y=1 
CEC 220 Digital Circuit Design Boolean Algebra Friday, January 17 CEC 220 Digital Circuit Design Slide 1 of 22.
BOOLEAN ALGEBRA – Digital Circuit 1 Choopan Rattanapoka.
Ahmad Almulhem, KFUPM 2009 COE 202: Digital Logic Design Combinational Logic Part 1 Dr. Ahmad Almulhem ahmadsm AT kfupm Phone: Office:
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
CEC 220 Digital Circuit Design Boolean Algebra II Fri, Sept 4 CEC 220 Digital Circuit Design Slide 1 of 13.
Boolean Algebra. BOOLEAN ALGEBRA Formal logic: In formal logic, a statement (proposition) is a declarative sentence that is either true(1) or false (0).
CSE 461. Binary Logic Binary logic consists of binary variables and logical operations. Variables are designated by letters such as A, B, C, x, y, z etc.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Introduction to Digital Electronics Lecture.
Basic Laws, theorems, and postulates of Boolean Algebra
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
Boolean Algebra & Logic Gates
ECE 301 – Digital Electronics
Chapter 11 (Part 1): Boolean Algebra
Computer Science 210 Computer Organization
Boolean Algebra.
Unit 2 Boolean Algebra.
Logic Gates and Boolean Algebra
CS 105 Digital Logic Design
Gate Circuits and Boolean Equations
CHAPTER 2 Boolean Algebra
CHAPTER 1 : INTRODUCTION
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Boolean Algebra.
Princess Sumaya University
Boolean Algebra – Part 1 ECEn 224.
SLIDES FOR CHAPTER 2 BOOLEAN ALGEBRA
FIGURES FOR CHAPTER 2 BOOLEAN ALGEBRA
Lecture 3: Boolean Algebra
CHAPTER 2 Boolean Algebra
Boolean Algebra.
Boolean Algebra.
Boolean Algebra & Logic Circuits
Basic Logic Gates 1.
COE 202: Digital Logic Design Combinational Logic Part 1
Computer Science 210 Computer Organization
Boolean Algebra Introduction CSCI 240
Boolean Algebra.
COMS 361 Computer Organization
Introductory Concepts
Binary Logic and Gates COE 202 Digital Logic Design Dr. Aiman El-Maleh
Digital Systems Section 3 Boolean Algebra. Digital Systems Section 3 Boolean Algebra.
Presentation transcript:

BOOLEAN ALGEBRA

INTRODUCTION Aristotle - constructed a complete System of Formal logic and wrote six famous works on the subject. It contributed to the Organisation of Man’s Reasoning. George Boole – Manipulated this and arrived at his own mathematical system of logic. His revolutionary paper – “ An investigatioon of the laws of the thought” published in 1854 led to the development of Boolean Algebra. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

In 1938 Claude E Shannon wrote a paper titled “ A Symbolic Analysis of Relay Switching Circuits” which applied Boolean Algebra to solve relay logic problems, which dealt with binary values. Boolean Algebra effectively deals with binary values. Thus it came to be known as “Switching Circuits”. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Every Day we take decisions The decision which results in either Yes or No is called Binary Decision called Truth Values. The Vairables that store these Truth Values are called Logical values or Binary Valued Variables. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Boolean Algebra is suitable for Digital Circuits The Principle behind Boolean Algebra is that answers to its equations are either True or False. The Statement which may either be True or False is called Proposition. Boolean Algebra is also known as Switching Algebra Propostion Algebra Two-State Algebra Logical values T or F are called Logical Constants 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Logical Functions or Compound Statements : Algebraic variables a,b,c or x,y,z are combined with mathematical operators to form algebraic expressions eg., a+b+c Likewise, logical statements are combined with logical operators like AND, OR, NOT to form compound statement or logical functions. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

What is Truth Table? Truth table is a table which represents all the possible values of logical variables/statements along with all the possible results of the given combinations of values. Statement 1 : I want Tea Statement 2 : Tea is readily available Result : I ‘ll have tea. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Possible Combination : Y X Y Z Now let’s draw the truth table If the result of any logical statement is always true or 1, it is called Tautology, and if the result is always false or 0 then it is called Fallacy Statement 1 T F Statement 1I RESULT X Y Z 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Logical Operator NOT OPERATOR Operates on a single variable and the operation performed by NOT operator is called Complementation. x’ means complement of x Truth Table X X’ 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

OR OPERATOR Operation is called Logical addition and the symbol used is +. Therefore, + does not have normal meaning but logical addition or logical OR symbol. X + Y denotes X OR Y X Y X+Y 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

AND OPERATOR Operation is called Logical multiplication and the symbol used is . Therefore, . does not have normal meaning but logical multiplication or logical AND symbol. X . Y denotes X AND Y X Y X.Y 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Evaluation of Boolean Expression using Truth Table X + YZ X Y Z YZ X+YZ 1 S KIRAN PGT(COMP) KV CLRI

Prove using Truth Table (x + xy) = x (x+y)’ = x’.y’ m 5/11/2019 S KIRAN PGT(COMP) KV CLRI

BASIC LOGIC GATES After Shannon applied Boolean Algebra for Tele-switching circuits, engineers realised that Boolean Algebra can be applied for Computer electronics In Computers these Boolean operations are performed by Logic Gates. What are Logic Gates ? A Gate is simply an electronic circuit which operates on one or more signals to produce an output signal 5/11/2019 S KIRAN PGT(COMP) KV CLRI

Gates are often called Logic Circuits There are 3 types of Logic Gates Gates are digital (two-state) b’cos input and output signals are either low(0) or high(1). Gates are often called Logic Circuits There are 3 types of Logic Gates Inverter (NOT) Gate OR Gate AND Gate 5/11/2019 S KIRAN PGT(COMP) KV CLRI

NOT GATE An inverter also called NOT gate, is a gate with only one input signal and output signal; the output state is always the opposite of the input state. The output is also called complement of the input. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

OR GATE OR Gate has two or more input signal but only one output signal. If any of the input signal is 1(high) the output signal is 1(high), if all inputs are 0 then the result is 0 5/11/2019 S KIRAN PGT(COMP) KV CLRI

AND GATE AND Gaete can have two or more input signals and produce an output signal. When all inputs are high ie., 1 then the output is 1 otherwise 0. 5/11/2019 S KIRAN PGT(COMP) KV CLRI

BASIC POSTULATES IN B.A 1) If x ≠ 0 then x = 1 and if x ≠ 1 then x = 0 2) OR Relations (logical Addition) (i) 0 + 0 =0 (ii) 0 + 1 = 1 (iii) 1 + 0 = 1 (iv) 1 + 1 = 1 ( draw logic gate) 5/11/2019 S KIRAN PGT(COMP) KV CLRI

3) AND Relation (Logical Multiplication) 0. 0 = 0 0. 1 = 0 1. 0 = 0 1 3) AND Relation (Logical Multiplication) 0 . 0 = 0 0 . 1 = 0 1 . 0 = 0 1 . 1 = 1 4) NOT Relation 0 = 1 1 = 0 (draw logic gate) 5/11/2019 S KIRAN PGT(COMP) KV CLRI

PRINCIPLES OF DUALITY States that starting with a Boolean expression , another Boolean expression can be derived by Changing each OR sign (+) to AND (.) sign Changing each AND sign (.) to OR(+) sign Replacing each 0 by 1 and each 1 by 0 For eg., from Postulate 2 postulate 3 can be derived 5/11/2019 S KIRAN PGT(COMP) KV CLRI

BASIC THEOREMS OF B.A Properties of 0 and 1 0 + X = X 1 + X = 1 (LOGIC GATE) X R 1 1 X R X R 1 1 X R 5/11/2019 S KIRAN PGT(COMP) KV CLRI

IDEMPOTENCE LAW States that (i) x + x =x (ii) x . x = x (i) and (ii) are duals of each other X X + X 1 X X .X 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

INVOLUTION LAW States that (A’)’ = A is also called as double inversion law X X’ (X’)’ 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

COMPLEMENTARITY LAW States that x + x’ =1 x . x’ = 0 X X’ 1 X X’ X.X’ X X’ X.X’ 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI fallacy tautology

COMMUTATIVE LAW States that A B A+B B+A 1 A B AB BA 1 5/11/2019 1 A B AB BA 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

ASSOCIATIVE LAW Since (ii) is the dual of (i), hence it is also proved States that Since (ii) is the dual of (i), hence it is also proved A B C B+C A+B A+(B+C) (A+B)+C 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

DISTRIBUTIVE LAW States that 5/11/2019 S KIRAN PGT(COMP) KV CLRI

TRUTH TABLE A B C B+C AC AB A(B+C) AB+AC 1 5/11/2019 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

ALGEBRAIC PROOF A + BC = (A+B)(A+C) Taking R.H.S AA +AC+ AB +BC A + AB + AC +BC // IDEMPOTENCE LAW X.X =X A(1+ B) +AC +BC // PROPERTIES OF 0 & 1 1 + Y = 1 A + AC+ BC // PROPERTIES OF 0 & 1 X.1 =1 A(1+C) + BC // PROPERTIES OF 0 & 1 1 + Y = 1 A+BC // PROPERTIES OF 0 & 1 X.1 =1 5/11/2019 S KIRAN PGT(COMP) KV CLRI

ABSORPTION LAW 5/11/2019 S KIRAN PGT(COMP) KV CLRI

5/11/2019 S KIRAN PGT(COMP) KV CLRI

5/11/2019 S KIRAN PGT(COMP) KV CLRI

5/11/2019 S KIRAN PGT(COMP) KV CLRI

Multiplying both the sides with x+y DEMORGANS LAW States that Multiplying both the sides with x+y 5/11/2019 S KIRAN PGT(COMP) KV CLRI

(xy)’ =x’ + y’ X Y XY (XY)’ X’ Y’ (X’+Y’) 1 5/11/2019 1 5/11/2019 S KIRAN PGT(COMP) KV CLRI