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.

Slides:



Advertisements
Similar presentations
Boolean Algebra and Logic Gates
Advertisements

Logic Gates.
CT455: Computer Organization Logic gate
Digital Electronics Lecture 2 Logic Gates. Lecture 2 outline Announcement:
Chapter 2 Logic Circuits.
Boolean Algebra and Logic Gate
Relationship Between Basic Operation of Boolean and Basic Logic Gate The basic construction of a logical circuit is gates Gate is an electronic circuit.
1 COMP541 Combinational Logic Montek Singh Jan 16, 2007.
Chapter 4 Logic Gates and Boolean Algebra. Introduction Logic gates are the actual physical implementations of the logical operators. These gates form.
Circuit Simplification: Boolean Algebra
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.
The Laws of Logic: Boolean Algebra A State High Math Club Presentation START==TRUE.
Boolean Algebra Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2009.
Computer Organization
Digital Logic Circuits – Chapter 1 Section 1-3, 1-2.
Lecture 17: Digital Design Today’s topic –Intro to Boolean functions Reminders –HW 4 due Wednesday 10/8/2014 (extended) –HW 5 due Wednesday 10/15/2014.
CS1502 Formal Methods in Computer Science
Digital Systems: Boolean Algebra and Logic Gates
Combinational Logic 1.
CPS3340 COMPUTER ARCHITECTURE Fall Semester, /05/2013 Lecture 4: Basics of Logic Design Instructor: Ashraf Yaseen DEPARTMENT OF MATH & COMPUTER.
Logic Gates Shashidhara H S Dept. of ISE MSRIT. Basic Logic Design and Boolean Algebra GATES = basic digital building blocks which correspond to and perform.
Lecture 22: 11/19/2002CS170 Fall CS170 Computer Organization and Architecture I Ayman Abdel-Hamid Department of Computer Science Old Dominion University.
Boolean Algebra & Logic Prepared by Dr P Marais (Modified by D Burford)
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.
1 EG 32 Digital Electronics Thought for the day You learn from your mistakes..... So make as many as you can and you will eventually know everything.
Boolean Algebra and Logic Gates CSE-1108 Ahsanullah University of Science and Technology (AUST)
5 - Digital Logic with Boolean Algebra
Logic Gates. A logic gate is an elementary building block of a digital circuit. Most logic gates have two inputs and one output. At any given moment,
Boolean Algebra Computer Architecture. Digital Representation Digital is an abstraction of analog voltage –Voltage is a continuous, physical unit Typically.
C.S. Choy21 BOOLEAN ALGEGRA The Mathematics of logic Boolean variables have only two possible values (binary) Operators:. Product+ SumComplement A.B A+B.
ECE DIGITAL LOGIC LECTURE 6: BOOLEAN ALGEBRA Assistant Prof. Fareena Saqib Florida Institute of Technology Fall 2016, 02/01/2016.
COMPUTER ARCHITECTURE & OPERATIONS I Instructor: Yaohang Li.
BOOLEAN ALGEBRA LOGIC GATES. Introduction British mathematician George Boole( ) was successful in finding the link between logic and mathematics.
Logic Simplification-Using Boolean Laws Logic Design Laboratory EE 2121 Lectures By Manesh T EE2121-In Charge
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.
Circuit Synthesis A logic function can be represented in several different forms:  Truth table representation  Boolean equation  Circuit schematic 
Digital Logic. Boolean Algebra to Logic Gates Logic circuits are built from components called logic gates. The logic gates correspond to Boolean operations.
Hoda Roodaki Boolean Algebra Hoda Roodaki
Logic gates.
Computer Architecture & Operations I
Morgan Kaufmann Publishers
Eng. Mai Z. Alyazji October, 2016
Logic Gates and Boolean Algebra
Chapter 3 Notes – Part II Review Questions
Boolean Algebra.
Digital Technology.
Boolean Algebra & De Morgan's Theorems
Logic Gates and Boolean Algebra
CHAPTER 2 Boolean Algebra
Logic Gates.
Logic Gates Benchmark Companies Inc PO Box Aurora CO
CHAPTER 1 : INTRODUCTION
Boolean Algebra.
Jeremy R. Johnson Wed. Sept. 29, 1999
Jeremy R. Johnson Anatole D. Ruslanov William M. Mongan
Digital Systems: Logic Gates and Boolean Algebra
Boolean Algebra & Logic Circuits
Basic Logic Gates 1.
Fundamentals of Computer Systems
Logic Gates.
Digital Logic.
Boolean Logic Boolean Logic is considered to be the basic of digital electronics. We know that a computer’s most basic operation is based on digital electronics.
Boolean Algebra.
GCSE Computer Science – Logic Gates & Boolean Expressions
Digital Logic.
ECB2212-Digital Electronics Boolean algebra
Instructor: Alexander Stoytchev
BOOLEAN ALGEBRA.
Digital Logic Design Basics Combinational Circuits Sequential Circuits.
Presentation transcript:

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 to solve problems in electronic circuit design. (1938) Boolean Algebra

3 Variables & Operations All variables have the values 1 or 0 –sometimes we call the values TRUE / FALSE Three operators: –ORwritten as , as in –AND written as , as in –NOTwritten as an overline, as in

4 Operators: OR The result of the OR operator is 1 if either of the operands is a 1. The only time the result of an OR is 0 is when both operands are 0s. OR is like our old pal addition, but operates only on binary values.

5 Operators: AND The result of an AND is a 1 only when both operands are 1s. If either operand is a 0, the result is 0. AND is like our old nemesis multiplication, but operates on binary values.

6 Operators: NOT NOT is a unary operator – it operates on only one operand. NOT negates it’s operand. If the operand is a 1, the result of the NOT is a 0. If the operand is a 0, the result of the NOT is a 1.

7 Equations Boolean algebra uses equations to express relationships. For example: This equation expresses a relationship between the value of X and the values of A, B and C.

8 Quiz (already?) What is the value of each X: huh?

9 Laws of Boolean Algebra Just like in good old algebra, Boolean Algebra has postulates and identities. We can often use these laws to reduce expressions or put expressions in to a more desirable form.

10 Basic Postulates of Boolean Algebra Using just the basic postulates – everything else can be derived. Commutative laws Distributive laws Identity Inverse

11 Identity Laws

12 Inverse Laws

13 Commutative Laws

14 Distributive Laws

15 Other Identities Can be derived from the basic postulates. Laws of Ones and Zeros Associative Laws DeMorgan’s Theorems

16 Zero and One Laws Law of Ones Law of Zeros

17 Associative Laws

18 DeMorgan’s Theorems

19 Other Operators Boolean Algebra is defined over the 3 operators AND, OR and NOT. –this is a functionally complete set. There are other useful operators: –NOR : is a 0 if either operand is a 1 –NAND : is a 0 only if both operands are 1 –XOR : is a 1 if the operands are different. NOTE: NOR is (by itself) a functionally complete set!

20 Boolean Functions Boolean functions are functions that operate on a number of Boolean variables. The result of a Boolean function is itself either a 0 or a 1. Example: f(a,b) = a+b

21 Question How many Boolean functions of 1 variable are there? We can answer this by listing them all!

22 Tougher Question How many Boolean functions of 2 variables are there? It’s much harder to list them all, but it is still possible…

23 Alternative Representation We can define a Boolean function by describing it with algebraic operations. We can also define a Boolean function by listing the value of the function for all possible inputs.

24 OR as a Boolean Function f or (a,b)=a+b abf or (a,b) This is called a “truth table”

25 Truth Tables ab ORANDNORNANDXOR

26 Truth Table for (X+Y)·Z XYZ(X+Y)·Z

27 Gates Digital logic circuits are electronic circuits that are implementations of some Boolean function(s). A circuit is built up of gates, each gate implements some simple logic function. The term gates is named for Bill Gates, in much the same way as the term gore is named for Al Gore – the inventor of the Internet.

28 A Gate ??? Inputs Output A B f(A,B)

29 Gates compute something! The output depends on the inputs. If the input changes, the output might change. If the inputs don’t change – the output does not change.

30 An OR gate A B A+B

31 An AND gate A B AB

32 A NOT gate AA

33 NAND and NOR gates ABAB A B A B A+B

34 Combinational Circuits We can put gates together into circuits –output from some gates are inputs to others. We can design a circuit that represents any Boolean function!

35 A Simple Circuit A B ?

36 Truth Table for our circuit ababa b

37 Alternative Representations Any of these can express a Boolean function. : Boolean Equation Circuit (Logic Diagram) Truth Table

38 Implementation A logic diagram is used to design an implementation of a function. The implementation is the specific gates and the way they are connected. We can buy a bunch of gates, put them together (along with a power source) and build a machine.

39 Integrated Circuits You can buy an AND gate chip:

40 Function Implementation Given a Boolean function expressed as a truth table or Boolean Equation, there are many possible implementations. The actual implementation depends on what kind of gates are available. In general we want to minimize the number of gates.

41 Example: ABf

42 One Implementation A B f

43 Another Implementation A B f

44 Proof it’s the same function DeMorgan's Law DeMorgan's Laws Distributive Inverse, Identity DeMorgan's Law DeMorgan's Laws

45 Better proof! Distributive Distributive (twice) Inverse, Identity

46 Possible Questions Prove that NOR is a functionally complete set. –Show how you can express the functions AND, OR and NOT in terms of NOR. Prove that two expressions are (or are not) really the same boolean function. –Use identities/postulates to transform one expression in to another –Compare truth tables. Know DeMorgan's Theorems (prove them!).