Digital Design. Digital Design

Size: px
Start display at page:

Download "Digital Design. Digital Design"

Transcription

1 Principles Of Digital Design Chapter 3 Boolean Algebra and Logic Design Boolean Algebra Logic Gates Digital Design Implementation Technology ASICs Gate Arrays

2 Basic Algebraic Properties A set is a collection of objects with a common property If S is a set and is a member of the set S,, then S A = {, 2, 3, 4} denotes the set A,, whose elements are, 2, 3, 4 A binary operator on a set S is a rule that assigns to each pair of elements in S another element that is in S Aioms are assumption that are valid without proof Copyright by Daniel D. Gajski 2

3 Eamples of Aioms Closure for all, y S, ( y) S Z + = {, 2, 3, } is closed to addition, because positive numbers are in Z + A set S is closed with respect to a binary operator iff for all Associativity A binary operator defined on a set S is associative iff for all, y, z S Identity Element ( y) z = (y z) A set S has an identity element e for every e = e = + = + = for every S Copyright by Daniel D. Gajski 3

4 Eamples of Aioms Commutativity A binary operator is commutative iff for all, y S Inverse Element y = y A set S has an inverse iff for every such that y S such that Distributivity for every S, there eists an element y = e If and are two binary operators on a set S, is said to be distributive over if, for all, y, z S if, for all, y, z (y z) = ( y) ( z) Copyright by Daniel D. Gajski 4

5 Aiomatic Definition of Boolean Algebra Boolean algebra is a set of elements B with two binary operators, + and,, which satisfies the following si aioms: Aiom (Closure Property): (a) B is closed with respect to the operator +; (b) B is also closed with respect to the operator Aiom 2 (Identity Element): (a) B has an identity element with respect to +, designated by ; (b) B also has an identity element with respect, designated by Aiom 3 (Commutativity Property): (a) B is commutative with respect to +; (b) B is also commutative with respect to Aiom 4 (Distributivity Property): (a) The operator is distributive over +; (b) similarly, the operator + is distributive over Aiom 5 (Complement Element): or every B, there eists an element B such that (a) + = and (b) = This second element, is called the complement of Aiom 6 (Lower Cardinality Bound): There are at least two elements, y B such that y Copyright by Daniel D. Gajski 5

6 Aiomatic Definition of Boolean Algebra Differences between Boolean algebra and ordinary algebra In ordinary algebra, + is not distributive Boolean algebra does not have inverses with respect to + and ; therefore, there are no subtraction or division operations in Boolean algebra Complements are available in Boolean algebra, but not in ordinary algebra Boolean algebra applies to a finite set of elements, whereas ordinary algebra would apply to the infinite sets of real numbers The definition above for Boolean algebra does not include associativity, since it can be derived from the other aioms Copyright by Daniel D. Gajski 6

7 Two-valued Boolean Algebra Set B has two elements: and Algebra has two operators: AND and OR y y AND Operator y + y OR Operator Copyright by Daniel D. Gajski 7

8 Two-valued Boolean Algebra Two-valued Boolean algebra satisfies Huntington aioms Aiom (Closure Property): Closure is evident in the AND/OR tables, since the result of each operation is an element of B. Aiom 2 (Identity Element): The identity elements in this algebra are for the operator + and for the operator. rom theand/or tables, we see that: + =, and + = + = =, and = = Aiom 3 (Commutativity Property): The commutativity laws follow from the symmetry of the operator tables. Copyright by Daniel D. Gajski 8

9 9 Copyright by Daniel D. Gajski Two Two-valued Boolean Algebra valued Boolean Algebra Aiom 4 (Distributivity): The distributivity of this algebra can be demonstrated by checking both sides of the equation. y (y + z) z y + z y (y) + (z) z Proof of distributivity of + y + (yz) + z yz y ( + y)(+ z) z Proof of distributivity of + (y + z) = ( y) + ( z) + (y z) = ( + y)( + z).

10 Two-valued Boolean Algebra Aiom 5 (Complement): and are complements of each other, since + = + = and + = + = ; furthermore, = = and = =. NOT Operator Aiom 6 (Cardinality): The cardinality aiom is satisfied, since this two-valued Boolean algebra has two distinct elements, and, and. Copyright by Daniel D. Gajski

11 Boolean Operator Procedure Boolean operators are applied in the following order. Parentheses ( ) NOT AND OR + Eample: Evaluate epression ( + y) for = and y = : ( + ) ) = ( + ) = () = Copyright by Daniel D. Gajski

12 Duality Principle Any algebraic epression derived from aioms stays valid when are interchanged. OR and AND and Eample: If X + = then X = by the duality principle Copyright by Daniel D. Gajski 2

13 Theorem of Boolean Algebra Theorem (Idempotency) Theorem 2 Theorem 3 (Absorption) Theorem 4 (Involution) Theorem 5 (Associativity) Theorem 6 (De Morgan s Law) (a) (b) (a) (b) (a) (b) (a) (b) (a) (b) + = = + = = y + = (y + ) = ( ) = ( + y) + z = (yz) = ( + y) = (y) = Basic Theorems of Boolean Algebra + (y + z) (y)z y + y Copyright by Daniel D. Gajski 3

14 Theorem Proofs in Boolean Algebra Theorems can be proved by transformations based on aioms and theorems Eample: Theorem (a) Idempotency: + =. Proof: + = ( + ) bdentity (A. 2b) = ( + ) (( + ) by complement (A. 5a) = + by distributivity (A. 4b) = + by complement (A. 5b) = bdentity (A. 2a) Duality Eample: Theorem (b) Idempotency: =. Proof: + = by Theorem (a) = by Duality principle Copyright by Daniel D. Gajski 4

15 Theorem Proofs in Boolean Algebra Checking theorems for every combinations of variable value Eample: Theorem 6(a) DeMorgan s Law: s Law: ( + y) = y y + y ( + y) y y Proof of Demorgan s irst Theorem Copyright by Daniel D. Gajski 5

16 Boolean unctions Algebraic epression, which are formed from binary variables and Boolean operators AND, OR and NOT. Eample: This function would be equal to if if if otherwise, =. = y + y z + yz if = and y =,, or if = and y = and z =,, or if = and y = and z = ; Note : When we evaluate Boolean epressions, we must follow a specific order of operations, namely, () parentheses, (2) NOT, (3) AND, (4) OR. Note 2: A primed or unprimed variable is usually called a literal. l. Copyright by Daniel D. Gajski 6

17 Boolean unctions Truth tables which list the functional value for all combinations of variable values. Eample: = y + y z + yz Row Numbers Variable Values y z unction Values Copyright by Daniel D. Gajski 7

18 Complement of a unction Complement of function is function, where can be obtained by: Interchanging and in the truth table. Eample: = y + y z + yz Row Numbers Variable Values y z unction Values Copyright by Daniel D. Gajski 8

19 Complement of a unction Complement of function is function, where can be obtained by: Repeatedly applying DeMorgan s s theorems. Eample: Duality Principle = (y + y z z + yz yz) by definition of = (y) (y z) ( yz) by DeMorgan s s Th. = ( + y )( + y + z )( + y y + z ) z by DeMorgan s s Th. Eample: = ( y) + ( y z) + ( y z) = ( + y ) y ( + y + z ) z ( + y y + z ) z Copyright by Daniel D. Gajski 9

20 Graphic Representation of Boolean unctions y z y z Copyright by Daniel D. Gajski AND-OR Epression size = 5 ANDs 2 ORs 2 NOTs 2 OR-AND Epression size = 2 ANDs 5 ORs 4 NOTs Two different epressions have different sizes

21 Epression Equivalence We can prove epression equivalence by algebraic manipulation in which each transformation uses an aiom or a theorem of Boolean algebra. Eample: = y + y z z + yz = y + z + yz Proof: y + y z z + yz = y + yz + y z z + yz by absorption = y + (y + y )z + yz by distributivity = y + z z + yz by complement = y + z + yz bdentity = y + yz + z + yz by absorption = y + z + ( + )yz by distributivity = y + z + yz by complement = y + z + yz bdentity y + y z + yz requires 5 ANDs 2 ORs 2 NOTs y + z + yz requires 3 ANDs 2 ORs Difference: 2 ANDs and 2 NOTs Copyright by Daniel D. Gajski 2

22 Minterms Minterm definition If i = b n b is a binary number between and 2 n,, then a minterm of n variables, could be represented as: variables n, n 2, m i ( n, n 2, ) = y n y where for all k such that k n, y k ={ k if Copyright by Daniel D. Gajski k if b k = if b k = y z Minterms Designation y z y z yz yz y z y z yz yz Minterms for Three Binary Variables 22 m m m 2 m 3 m 4 m 5 m 6 m 7

23 Sum-of of-minterms Any Boolean function can be epressed as a sum (OR) of its -minterms: (list of variables) = Σ(list of -minterm indices) Eample: Row Numbers Copyright by Daniel D. Gajski Variable Values y z unction Values Equation Table = y + y z + yz = ( + y )( + y + z )( + y + z ) (, y, z) z = Σ(3, 5, 6, 7) = m 3 + m 5 + m 6 + m 7 = yz + y z z + yz + yz (, y, z) z = Σ(,,, 2, 4) = m + m + m 2 + m 4 = y z + y z + yz yz + y z 23

24 Epansion to Sum-of of-minterms Any Boolean function can be epanded into a sum-ofminterms form be epanding each term with ( + ) for each missing variable. Eample: = + yz = (y + y )( )(z + z ) z + ( + )yz = yz + y z z + yz + y z + yz + yz After removing duplicates and rearranging the minterms in ascending order: = yz + y z + y z z + yz + yz = m 3 + m 4 + m 5 + m 6 + m 7 = Σ(3, 4, 5, 6, 7) Copyright by Daniel D. Gajski 24

25 Conversion to Sum-of of-minterms Each Boolean function can be converted into a sum-ofminterms form by generating the truth table and identifying -minterms. Eample: = + yz y z = m 3 + m 4 + m 5 + m 6 + m 7 Copyright by Daniel D. Gajski 25

26 Materms Materms can be defined as the complement of minterms: M i = m i and M i = m i y z Materms Designation + y + z M + y + z M + y + z M 2 + y + z M 3 + y + z M 4 + y + z M 5 + y + z M 6 + y + z M 7 Materms for Three Binary Variables Copyright by Daniel D. Gajski 26

27 Product-of of-materms Any Boolean function can be epressed as a product (AND) of its -materms: (list of variables) = Π(list of -materm indices) Eample: Row Numbers Copyright by Daniel D. Gajski Variable Values y z unction Values Equation Table = y + y z + yz = ( + y )( + y + z )( + y + z ) (, y, z) z = Π(,,, 2, 4) = M M M 2 M 4 = ( + y + z)( + y + z )( + y y + z)( + y y + z) z (, y, z) z = Π(3, 5, 6, 7) = M 3 M 5 M 6 M 7 = ( + y y + z )( + y + z )( + y y + z)( + y y + z ) z Product-of of-materms can also be obtained by complementing the sum-of of-minterms 27 ( ) = ( yz + y z z + yz + yz) = ( + y y + z )( + y + z )( + y y + z)( + y y + z ) z = M 3 M 5 M 6 M 7 = ( ) = ( y z + y z + yz yz + yz ) = ( + y + z)( + y + z )( + y y + z)( + y y + z) z = M M M 2 M 4

28 Epansion to Product-of of-materms Any Boolean function can be epanded into a product-of-materms form be epanding each term with for each missing variable. Eample: Convert = y + z = ( y + )( )( y + z) z = ( + )( )(y + )( )( + z)( )(y + z) z = ( + y )( )( + z)( )(y + z) z missing i missing missing Epand + y = + y y + zz = ( + y y + z)( )( + y y + z ) + z = + z + yy = ( + y + z)( )( + y y + z) y + z = y + z + = ( + y y + z)( )( + y y + z) Combine = ( + y y + z)( )( + y y + z )( )( + y + z)( )( + y y + z) = M 2 M 3 M 4 M 6 = (2, 3, 4, 6) Copyright by Daniel D. Gajski 28

29 Conversion to Product-of of-materms Any Boolean epression can be converted into a sum-ofmaterms by generating the truth table and listing all the - materms. Eample: = y + z y z Copyright by Daniel D. Gajski (,, y, z) z = Σ(,, 5, 7) (,, y, z) z = Π(2, 3, 4, 6) 29

30 Canonical orms Two canonical forms: Sum-of of-minterms Product-of-materms Canonical forms are unique. Conversion between canonical forms is achieved by: Echanging Σ and Π Listing all the missing indices Copyright by Daniel D. Gajski 3

31 Standard orms Two standard forms Sum-of of-products Product-of of-sums Standard forms are not unique. Sum-of-products is an OR epression with product terms that may have less literals than minterms Eample: = y + yz + y z Copyright by Daniel D. Gajski 3

32 Standard orms Product-of-sums is an AND epression with sum terms that may have less literals than materms Eample: = ( + y )( + y y + z )( + y + z ) z Standard forms have fewer operators (literals) than canonical forms Standard forms can be derived from canonical forms by combining terms that differ in one variable (this is, terms at distance ) Eample: = yz + yz + y z z + yz = yz + yz + yz + y z z + yz + yz = y(z + z ) z + (y + y )z + ( + )yz = y + z + yz Copyright by Daniel D. Gajski 32

33 Non-standard orms Non-standard forms have fewer operators (literals) than standard forms. They are obtained by factoring variables. Eample: y + y z z + y w = (y + y z + y w) = (y + y (z + w)) w Copyright by Daniel D. Gajski 33

34 Strategy for Operator (Literal) Reduction in Boolean Epressions Algebraic Epression Epand into truth table Truth table Generate canonical form Canonical form ind functional subcubes Standard form actor sub-epressions Non-standard form Copyright by Daniel D. Gajski 34

35 Binary Logic Operations There are 2 2n Boolean functions for n binary variables Therefore, 6 Boolean functions for n = 2. They are Zero AND Name Inhibition Transfer Inhibition Transfer XOR OR NOR Equivalence Complement Implication Complement Implication NAND One Operator Symbol y / y y / y + y y y y y y y Copyright by Daniel D. Gajski unctional Values for,y = Algebraic Epression = = y 2 = y 3 = 4 = y 5 = y 6 = y + y 7 = + y 8 = ( + y) 9 = y + y = y = + y 2 = 3 = + y 4 = (y) 5 = 35 Comment Binary constant and y but not y y but not y or y but not both or y Not-OR equals y Not y If y, then Not If, then y Not-AND Binary constant There are two functions that generate constants: Zero and One. or every combination of variable values, the Zero function will return to, whereas the One function will return to. There are four functions of one variable, which indicate Complement and Transfer operations. Specifically, the Complement function will produce the complement of one of the binary variables. The Transfer functions by contrast will reproduce one of the binary variables at the output. There are ten functions that define eight specific binary operations: AND, Inhibition, XOR, OR, NOR, Equivalence, Implication, and NAND.

36 Digital Logic Gates Name Graphic Symbol unctional Epression Number of transistors Delay in ns Inverter = 2 Driver = 4 2 AND y = y OR y = + y NAND y = (y) 4.4 NOR y = ( + y) 4.4 XOR y = y XNOR y = y Copyright by Daniel D. Gajski Basic Logic Library (CMOS Technology Implementations) 36

37 Multiple-Input Gates Name Graphic Symbol unctional Epression Number of transistors Delay in ns 3 input AND yz = yz input AND w yz = yzw input OR yz = + y + z input OR w yz = + y + z + w input NAND yz = (yz) input NAND w yz = (yzw) input NOR yz = ( + y + z) input NOR w yz = ( + y + z + w) Copyright by Daniel D. Gajski Multiple-Input Standard Logic Gates 37

38 Multiple-Operator (Comple) Gates 2 wide, 2 input AOI 3 wide, 2 input AOI 2 wide, 3 input AOI 2 wide, 2 input OAI 3 wide, 2 input OAI 2 wide, 3 input OAI Name Copyright by Daniel D. Gajski w y z u v w y z u v w yz w y z u v w y z u v w yz Graphic Symbol = (w + yz) unctional Epression = (uv + w + yz) = (uvw + yz) = ((w + )(y+ z)) = ((u + v)(w+ )(y + z)) = ((u + v + w)( +y + z)) Multiple-Operator Standard Logic Gates 38 Number of transistors Delay in ns

39 ull-adder Design Using XOR Gates i i + s i Truth table s i Logic Schematic (46 Transistors) Input/Output Path to + to s i i, to + i, to s i ull adder delays Delay (ns) 4.8 ns 4.2 ns 9. ns 8.4 ns s i = i + i + i + i = ( i + i ) + (( i + i ) = ( i ) + (( i ) = ( i ) + (( i ) = ( i ) + = i + i + i + i = i ( + ) + ( i + i ) = i + ( i ) ull adder equation Copyright by Daniel D. Gajski 39

40 ull-adder Design Using ast Gates i i + s i Truth table s i + Logic Schematic (36 Transistors) Input/Output Path to + to s i i, to + i, to s i ull adder delays Delay (ns) 2.8 ns 3.8 ns 5.2 ns 7.6 ns i = i + i = (( i ) ( i ) ) = (( i ) ( i + )) s i = ( i ) + (( i ) = ( i ) + (( i ) = ( i ) + + = i + ( i + ) = (( i ) ( ( i + )) ) ull adder equation Copyright by Daniel D. Gajski 4

41 ull-adder Design with Multiple-input input Gates i i + s i Truth table + Logic Schematic (56 Transistors) s i Input/Output Path to + to s i i, to + i, to s i Delay (ns) 3.2 ns 5. ns 4.2 ns 5. ns s i = i + i + i + i = (( i ) ( i ) ( i ) ( i )) + = i + i + = (( i ) ( i ) ( ) ) ull adder equation ull adder delays Copyright by Daniel D. Gajski 4

42 ull-adder Design with Comple Gates i i + s i.4 Truth table + s i Logic Schematic (46 Transistors) Input/Output Path to + to s i i, to + i, to s i ull adder delays Delay (ns) 3.4 ns 4.4 ns 3.4 ns 4.4 ns s i = i + i + i + i = (( i + i ) ( i + i ) ) + = i + i + = (( i ) ( i ) ( ) ) = (( i + )( + i )( + )) = ( i + i + ) ull adder equation Copyright by Daniel D. Gajski 42

43 VLSI Technology Small-scale integration (SSI) gates/package Medium-scale integration (MSI) gates/package (2 4 bit slices) Large-scale integration (LSI) gates/package (controllers, datapaths, bit slices) Very-large-scale integration (VLSI) + gates/package (systems on a chip) Custom designs (Standard cells) Gate arrays (GAs) ield-programmable (PGAs) Copyright by Daniel D. Gajski 43

44 Custom Design Standard Cells Routing Channel Each designed by hand Standard cells Same height, different widths Routing in channels and over the cells Two or more metal layers Standard Cell Approach Copyright by Daniel D. Gajski 44

45 Eample of Custom Design i i + i + i i s i i i i ull-adder Implementation with Standard Cells s i Copyright by Daniel D. Gajski 45

46 Semi-Custom Approach with Gate Arrays Gate arrays are prefabricated arrays of interconnected gates All gates are the same type (3 input NAND, for eample) Two or more metal layers used to connect gates ( i ) ( i ) ( i ) i i ( i ) ( ) + ( i ) ( i ) s i Copyright by Daniel D. Gajski ull-adder Implementation in a Gate Array 46

47 ield Programmable Approach with PGA PGAs are programmed by loading data into internal memory Ecellent for rapid prototyping Low density and low speed SM SM SM PLB PLB g g 2 g 3 g 4 4- variable Boolean function GQ G SM SM SM PLB PLB h h 2 h 3 h 4 4- variable Boolean function HQ H Interconnect Point (IP) SM SM SM Array Structure Programmable Logic Blocks (PLB) Copyright by Daniel D. Gajski 47

48 ull-adder Implemented with PGA programmable logic block for each full-adder 3 out of 4 inputs are used for each Boolean function i Unused g g 2 g 3 g 4 g X X X X X X X X g 2 g 3 g 4 G GQ + G Unused h h 2 h 3 h 4 h h 2 h 3 h 4 X X X X X X X X H HQ H s i Copyright by Daniel D. Gajski 48

49 Chapter Summary Boolean Algebra Aioms Basic theorems Boolean unctions Specification of Boolean unctions Truth tables Algebraic epressions Canonical forms Standard forms Non-standard forms Algebraic Manipulation of Boolean Epressions Logic Gates Simple gates Multiple-input input gates Comple gates Implementation Technology SSI (Small-scale integration) MSI (Medium-scale integration) LSI (Large-scale integration) VLSI (Very-large large-scale integration) Custom designs Semi-custom designs ield-programmable Copyright by Daniel D. Gajski 49

Chapter 2 (Lect 2) Canonical and Standard Forms. Standard Form. Other Logic Operators Logic Gates. Sum of Minterms Product of Maxterms

Chapter 2 (Lect 2) Canonical and Standard Forms. Standard Form. Other Logic Operators Logic Gates. Sum of Minterms Product of Maxterms Chapter 2 (Lect 2) Canonical and Standard Forms Sum of Minterms Product of Maxterms Standard Form Sum of products Product of sums Other Logic Operators Logic Gates Basic and Multiple Inputs Positive and

More information

CS 121 Digital Logic Design. Chapter 2. Teacher Assistant. Hanin Abdulrahman

CS 121 Digital Logic Design. Chapter 2. Teacher Assistant. Hanin Abdulrahman CS 121 Digital Logic Design Chapter 2 Teacher Assistant Hanin Abdulrahman 1 2 Outline 2.2 Basic Definitions 2.3 Axiomatic Definition of Boolean Algebra. 2.4 Basic Theorems and Properties 2.5 Boolean Functions

More information

Chapter 2 Boolean Algebra and Logic Gates

Chapter 2 Boolean Algebra and Logic Gates CSA051 - Digital Systems 數位系統導論 Chapter 2 Boolean Algebra and Logic Gates 吳俊興國立高雄大學資訊工程學系 Chapter 2. Boolean Algebra and Logic Gates 2-1 Basic Definitions 2-2 Axiomatic Definition of Boolean Algebra 2-3

More information

EEA051 - Digital Logic 數位邏輯 吳俊興高雄大學資訊工程學系. September 2004

EEA051 - Digital Logic 數位邏輯 吳俊興高雄大學資訊工程學系. September 2004 EEA051 - Digital Logic 數位邏輯 吳俊興高雄大學資訊工程學系 September 2004 Boolean Algebra (formulated by E.V. Huntington, 1904) A set of elements B={0,1} and two binary operators + and Huntington postulates 1. Closure

More information

Chapter 2 Boolean Algebra and Logic Gates

Chapter 2 Boolean Algebra and Logic Gates Chapter 2 Boolean Algebra and Logic Gates The most common postulates used to formulate various algebraic structures are: 1. Closure. N={1,2,3,4 }, for any a,b N we obtain a unique c N by the operation

More information

Chapter 2. Boolean Algebra and Logic Gates

Chapter 2. Boolean Algebra and Logic Gates Chapter 2 Boolean Algebra and Logic Gates Basic Definitions A binary operator defined on a set S of elements is a rule that assigns, to each pair of elements from S, a unique element from S. The most common

More information

EC-121 Digital Logic Design

EC-121 Digital Logic Design EC-121 Digital Logic Design Lecture 2 [Updated on 02-04-18] Boolean Algebra and Logic Gates Dr Hashim Ali Spring 2018 Department of Computer Science and Engineering HITEC University Taxila!1 Overview What

More information

Learning Objectives 10/7/2010. CE 411 Digital System Design. Fundamental of Logic Design. Review the basic concepts of logic circuits. Dr.

Learning Objectives 10/7/2010. CE 411 Digital System Design. Fundamental of Logic Design. Review the basic concepts of logic circuits. Dr. /7/ CE 4 Digital ystem Design Dr. Arshad Aziz Fundamental of ogic Design earning Objectives Review the basic concepts of logic circuits Variables and functions Boolean algebra Minterms and materms ogic

More information

Chapter 2: Boolean Algebra and Logic Gates

Chapter 2: Boolean Algebra and Logic Gates Chapter 2: Boolean Algebra and Logic Gates Mathematical methods that simplify binary logics or circuits rely primarily on Boolean algebra. Boolean algebra: a set of elements, a set of operators, and a

More information

DIGITAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUITS Introduction Logic Gates Boolean Algebra Map Specification Combinational Circuits Flip-Flops Sequential Circuits Memory Components Integrated Circuits Digital Computers 2 LOGIC GATES

More information

ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2

ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2 ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2 Instructor: Andrew B. Kahng (lecture) Email: abk@ucsd.edu Telephone: 858-822-4884 office, 858-353-0550 cell Office: 3802

More information

Boolean Algebra and Logic Gates

Boolean Algebra and Logic Gates Boolean Algebra and Logic Gates ( 范倫達 ), Ph. D. Department of Computer Science National Chiao Tung University Taiwan, R.O.C. Fall, 2017 ldvan@cs.nctu.edu.tw http://www.cs.nctu.edu.tw/~ldvan/ Outlines Basic

More information

Boolean Algebra and Logic Gates

Boolean Algebra and Logic Gates Boolean Algebra and Logic Gates Prof. Wangrok Oh Dept. of Information Communications Eng. Chungnam National Universit Prof. Wangrok Oh(CNU) / 5 Overview Aiomatic Definition of Boolean Algebra 2 Basic Theorems

More information

Chapter 2 Boolean Algebra and Logic Gates

Chapter 2 Boolean Algebra and Logic Gates Chapter 2 Boolean Algebra and Logic Gates Huntington Postulates 1. (a) Closure w.r.t. +. (b) Closure w.r.t.. 2. (a) Identity element 0 w.r.t. +. x + 0 = 0 + x = x. (b) Identity element 1 w.r.t.. x 1 =

More information

DIGITAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUITS Introduction Logic Gates Boolean Algebra Map Specification Combinational Circuits Flip-Flops Sequential Circuits Memor Components Integrated Circuits BASIC LOGIC BLOCK - GATE - Logic

More information

Chapter 2: Switching Algebra and Logic Circuits

Chapter 2: Switching Algebra and Logic Circuits Chapter 2: Switching Algebra and Logic Circuits Formal Foundation of Digital Design In 1854 George Boole published An investigation into the Laws of Thoughts Algebraic system with two values 0 and 1 Used

More information

University of Technology

University of Technology University of Technology Lecturer: Dr. Sinan Majid Course Title: microprocessors 4 th year معالجات دقيقة المرحلة الرابعة ھندسة الليزر والبصريات االلكترونية Lecture 3 & 4 Boolean Algebra and Logic Gates

More information

Chap 2. Combinational Logic Circuits

Chap 2. Combinational Logic Circuits Overview 2 Chap 2. Combinational Logic Circuits Spring 24 Part Gate Circuits and Boolean Equations Binary Logic and Gates Boolean Algebra Standard Forms Part 2 Circuit Optimization Two-Level Optimization

More information

Logic Design. Chapter 2: Introduction to Logic Circuits

Logic Design. Chapter 2: Introduction to Logic Circuits Logic Design Chapter 2: Introduction to Logic Circuits Introduction Logic circuits perform operation on digital signal Digital signal: signal values are restricted to a few discrete values Binary logic

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations Charles Kime & Thomas Kaminski 2008 Pearson Education, Inc. (Hyperlinks are active

More information

Chapter 2: Princess Sumaya Univ. Computer Engineering Dept.

Chapter 2: Princess Sumaya Univ. Computer Engineering Dept. hapter 2: Princess Sumaya Univ. omputer Engineering Dept. Basic Definitions Binary Operators AND z = x y = x y z=1 if x=1 AND y=1 OR z = x + y z=1 if x=1 OR y=1 NOT z = x = x z=1 if x=0 Boolean Algebra

More information

II. COMBINATIONAL LOGIC DESIGN. - algebra defined on a set of 2 elements, {0, 1}, with binary operators multiply (AND), add (OR), and invert (NOT):

II. COMBINATIONAL LOGIC DESIGN. - algebra defined on a set of 2 elements, {0, 1}, with binary operators multiply (AND), add (OR), and invert (NOT): ENGI 386 Digital Logic II. COMBINATIONAL LOGIC DESIGN Combinational Logic output of digital system is only dependent on current inputs (i.e., no memory) (a) Boolean Algebra - developed by George Boole

More information

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra 4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra To design a digital circuit that will perform a required function, it is necessary to manipulate and combine the various input signals in certain

More information

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) September 5, 2002 John Wawrzynek Fall 2002 EECS150 Lec4-bool1 Page 1, 9/5 9am Outline Review of

More information

Lecture 2 Review on Digital Logic (Part 1)

Lecture 2 Review on Digital Logic (Part 1) Lecture 2 Review on Digital Logic (Part 1) Xuan Silvia Zhang Washington University in St. Louis http://classes.engineering.wustl.edu/ese461/ Grading Engagement 5% Review Quiz 10% Homework 10% Labs 40%

More information

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) January 30, 2003 John Wawrzynek Outline Review of three representations for combinational logic:

More information

Week-I. Combinational Logic & Circuits

Week-I. Combinational Logic & Circuits Week-I Combinational Logic & Circuits Overview Binary logic operations and gates Switching algebra Algebraic Minimization Standard forms Karnaugh Map Minimization Other logic operators IC families and

More information

Logic and Computer Design Fundamentals. Chapter 2 Combinational Logic Circuits. Part 1 Gate Circuits and Boolean Equations

Logic and Computer Design Fundamentals. Chapter 2 Combinational Logic Circuits. Part 1 Gate Circuits and Boolean Equations Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part Gate Circuits and Boolean Equations Charles Kime & Thomas Kaminski 28 Pearson Education, Inc. (Hperlinks are active in

More information

CS 226: Digital Logic Design

CS 226: Digital Logic Design CS 226: Digital Logic Design 0 1 1 I S 0 1 0 S Department of Computer Science and Engineering, Indian Institute of Technology Bombay. 1 of 29 Objectives In this lecture we will introduce: 1. Logic functions

More information

Chapter 2 Combinational

Chapter 2 Combinational Computer Engineering 1 (ECE290) Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations HOANG Trang Reference: 2008 Pearson Education, Inc. Overview Part 1 Gate Circuits and Boolean

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations Chapter 2 - Part 1 2 Chapter 2 - Part 1 3 Chapter 2 - Part 1 4 Chapter 2 - Part

More information

ENG2410 Digital Design Combinational Logic Circuits

ENG2410 Digital Design Combinational Logic Circuits ENG240 Digital Design Combinational Logic Circuits Fall 207 S. Areibi School of Engineering University of Guelph Binary variables Binary Logic Can be 0 or (T or F, low or high) Variables named with single

More information

Combinational Logic. Review of Combinational Logic 1

Combinational Logic. Review of Combinational Logic 1 Combinational Logic! Switches -> Boolean algebra! Representation of Boolean functions! Logic circuit elements - logic gates! Regular logic structures! Timing behavior of combinational logic! HDLs and combinational

More information

Number System conversions

Number System conversions Number System conversions Number Systems The system used to count discrete units is called number system. There are four systems of arithmetic which are often used in digital electronics. Decimal Number

More information

Digital Circuit And Logic Design I. Lecture 3

Digital Circuit And Logic Design I. Lecture 3 Digital Circuit And Logic Design I Lecture 3 Outline Combinational Logic Design Principles (). Introduction 2. Switching algebra 3. Combinational-circuit analysis 4. Combinational-circuit synthesis Panupong

More information

ECE 545 Digital System Design with VHDL Lecture 1. Digital Logic Refresher Part A Combinational Logic Building Blocks

ECE 545 Digital System Design with VHDL Lecture 1. Digital Logic Refresher Part A Combinational Logic Building Blocks ECE 545 Digital System Design with VHDL Lecture Digital Logic Refresher Part A Combinational Logic Building Blocks Lecture Roadmap Combinational Logic Basic Logic Review Basic Gates De Morgan s Law Combinational

More information

EECS Variable Logic Functions

EECS Variable Logic Functions EECS150 Section 1 Introduction to Combinational Logic Fall 2001 2-Variable Logic Functions There are 16 possible functions of 2 input variables: in general, there are 2**(2**n) functions of n inputs X

More information

Possible logic functions of two variables

Possible logic functions of two variables ombinational logic asic logic oolean algebra, proofs by re-writing, proofs by perfect induction logic functions, truth tables, and switches NOT, ND, OR, NND, NOR, OR,..., minimal set Logic realization

More information

Switches: basic element of physical implementations

Switches: basic element of physical implementations Combinational logic Switches Basic logic and truth tables Logic functions Boolean algebra Proofs by re-writing and by perfect induction Winter 200 CSE370 - II - Boolean Algebra Switches: basic element

More information

2009 Spring CS211 Digital Systems & Lab CHAPTER 2: INTRODUCTION TO LOGIC CIRCUITS

2009 Spring CS211 Digital Systems & Lab CHAPTER 2: INTRODUCTION TO LOGIC CIRCUITS CHAPTER 2: INTRODUCTION TO LOGIC CIRCUITS What will we learn? 2 Logic functions and circuits Boolean Algebra Logic gates and Synthesis CAD tools and VHDL Read Section 2.9 and 2.0 Terminology 3 Digital

More information

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC.

Ex: Boolean expression for majority function F = A'BC + AB'C + ABC ' + ABC. Boolean Expression Forms: Sum-of-products (SOP) Write an AND term for each input combination that produces a 1 output. Write the input variable if its value is 1; write its complement otherwise. OR the

More information

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL. 2017-18 XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL HALF ADDER 1. The circuit that performs addition within the Arithmetic and Logic Unit of the CPU are called adders. 2. A unit that adds two

More information

Digital Logic. Lecture 5 - Chapter 2. Outline. Other Logic Gates and their uses. Other Logic Operations. CS 2420 Husain Gholoom - lecturer Page 1

Digital Logic. Lecture 5 - Chapter 2. Outline. Other Logic Gates and their uses. Other Logic Operations. CS 2420 Husain Gholoom - lecturer Page 1 Lecture 5 - Chapter 2 Outline Other Logic Gates and their uses Other Logic Operations CS 2420 Husain Gholoom - lecturer Page 1 Digital logic gates CS 2420 Husain Gholoom - lecturer Page 2 Buffer A buffer

More information

Slide Set 3. for ENEL 353 Fall Steve Norman, PhD, PEng. Electrical & Computer Engineering Schulich School of Engineering University of Calgary

Slide Set 3. for ENEL 353 Fall Steve Norman, PhD, PEng. Electrical & Computer Engineering Schulich School of Engineering University of Calgary Slide Set 3 for ENEL 353 Fall 2016 Steve Norman, PhD, PEng Electrical & Computer Engineering Schulich School of Engineering University of Calgary Fall Term, 2016 SN s ENEL 353 Fall 2016 Slide Set 3 slide

More information

Lecture 4: More Boolean Algebra

Lecture 4: More Boolean Algebra Lecture 4: More Boolean Algebra Syed M. Mahmud, Ph.D ECE Department Wayne State University Original Source: Prof. Russell Tessier of University of Massachusetts Aby George of Wayne State University ENGIN2

More information

Every time has a value associated with it, not just some times. A variable can take on any value within a range

Every time has a value associated with it, not just some times. A variable can take on any value within a range Digital Logic Circuits Binary Logic and Gates Logic Simulation Boolean Algebra NAND/NOR and XOR gates Decoder fundamentals Half Adder, Full Adder, Ripple Carry Adder Analog vs Digital Analog Continuous»

More information

Combinational Logic Design Principles

Combinational Logic Design Principles Combinational Logic Design Principles Switching algebra Doru Todinca Department of Computers Politehnica University of Timisoara Outline Introduction Switching algebra Axioms of switching algebra Theorems

More information

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev E&CE 223 Digital Circuits & Systems Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev 4 of 92 Section 2: Boolean Algebra & Logic Gates Major topics Boolean algebra NAND & NOR gates Boolean

More information

LOGIC GATES. Basic Experiment and Design of Electronics. Ho Kyung Kim, Ph.D.

LOGIC GATES. Basic Experiment and Design of Electronics. Ho Kyung Kim, Ph.D. Basic Eperiment and Design of Electronics LOGIC GATES Ho Kyung Kim, Ph.D. hokyung@pusan.ac.kr School of Mechanical Engineering Pusan National University Outline Boolean algebra Logic gates Karnaugh maps

More information

CHAPTER1: Digital Logic Circuits Combination Circuits

CHAPTER1: Digital Logic Circuits Combination Circuits CS224: Computer Organization S.KHABET CHAPTER1: Digital Logic Circuits Combination Circuits 1 PRIMITIVE LOGIC GATES Each of our basic operations can be implemented in hardware using a primitive logic gate.

More information

Contents. Chapter 2 Digital Circuits Page 1 of 30

Contents. Chapter 2 Digital Circuits Page 1 of 30 Chapter 2 Digital Circuits Page 1 of 30 Contents Contents... 1 2 Digital Circuits... 2 2.1 Binary Numbers... 2 2.2 Binary Switch... 4 2.3 Basic Logic Operators and Logic Expressions... 5 2.4 Truth Tables...

More information

Boolean Algebra & Logic Gates. By : Ali Mustafa

Boolean Algebra & Logic Gates. By : Ali Mustafa Boolean Algebra & Logic Gates By : Ali Mustafa Digital Logic Gates There are three fundamental logical operations, from which all other functions, no matter how complex, can be derived. These Basic functions

More information

Combinational logic. Possible logic functions of two variables. Minimal set of functions. Cost of different logic functions.

Combinational logic. Possible logic functions of two variables. Minimal set of functions. Cost of different logic functions. Combinational logic Possible logic functions of two variables Logic functions, truth tables, and switches NOT, ND, OR, NND, NOR, OR,... Minimal set xioms and theorems of oolean algebra Proofs by re-writing

More information

UNIVERSITI TENAGA NASIONAL. College of Information Technology

UNIVERSITI TENAGA NASIONAL. College of Information Technology UNIVERSITI TENAGA NASIONAL College of Information Technology BACHELOR OF COMPUTER SCIENCE (HONS.) FINAL EXAMINATION SEMESTER 2 2012/2013 DIGITAL SYSTEMS DESIGN (CSNB163) January 2013 Time allowed: 3 hours

More information

Standard & Canonical Forms

Standard & Canonical Forms 1 COE 202- Digital Logic Standard & Canonical Forms Dr. Abdulaziz Y. Barnawi COE Department KFUPM 2 Outline Minterms and Maxterms From truth table to Boolean expression Sum of minterms Product of Maxterms

More information

CHAPTER III BOOLEAN ALGEBRA

CHAPTER III BOOLEAN ALGEBRA CHAPTER III- CHAPTER III CHAPTER III R.M. Dansereau; v.. CHAPTER III-2 BOOLEAN VALUES INTRODUCTION BOOLEAN VALUES Boolean algebra is a form of algebra that deals with single digit binary values and variables.

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 3 Additional Gates and Circuits Charles Kime & Thomas Kaminski 2008 Pearson Education, Inc. (Hyperlinks are active in

More information

CHAPTER III BOOLEAN ALGEBRA

CHAPTER III BOOLEAN ALGEBRA CHAPTER III- CHAPTER III CHAPTER III R.M. Dansereau; v.. CHAPTER III-2 BOOLEAN VALUES INTRODUCTION BOOLEAN VALUES Boolean algebra is a form of algebra that deals with single digit binary values and variables.

More information

MC9211 Computer Organization

MC9211 Computer Organization MC92 Computer Organization Unit : Digital Fundamentals Lesson2 : Boolean Algebra and Simplification (KSB) (MCA) (29-2/ODD) (29 - / A&B) Coverage Lesson2 Introduces the basic postulates of Boolean Algebra

More information

WEEK 2.1 BOOLEAN ALGEBRA

WEEK 2.1 BOOLEAN ALGEBRA WEEK 2.1 BOOLEAN ALGEBRA 1 Boolean Algebra Boolean algebra was introduced in 1854 by George Boole and in 1938 was shown by C. E. Shannon to be useful for manipulating Boolean logic functions. The postulates

More information

Chapter 2 Boolean Algebra and Logic Gates

Chapter 2 Boolean Algebra and Logic Gates Ch1: Digital Systems and Binary Numbers Ch2: Ch3: Gate-Level Minimization Ch4: Combinational Logic Ch5: Synchronous Sequential Logic Ch6: Registers and Counters Switching Theory & Logic Design Prof. Adnan

More information

Logic Gate Level. Part 2

Logic Gate Level. Part 2 Logic Gate Level Part 2 Constructing Boolean expression from First method: write nonparenthesized OR of ANDs Each AND is a 1 in the result column of the truth table Works best for table with relatively

More information

Chapter 2 : Boolean Algebra and Logic Gates

Chapter 2 : Boolean Algebra and Logic Gates Chapter 2 : Boolean Algebra and Logic Gates By Electrical Engineering Department College of Engineering King Saud University 1431-1432 2.1. Basic Definitions 2.2. Basic Theorems and Properties of Boolean

More information

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST Discrete Mathematics CS204: Spring, 2008 Jong C. Park Computer Science Department KAIST Today s Topics Combinatorial Circuits Properties of Combinatorial Circuits Boolean Algebras Boolean Functions and

More information

Gray Code. ASCII Character Code. To convert the number from binary to Gray code the relations must be known. 1 1 = = = = 0

Gray Code. ASCII Character Code. To convert the number from binary to Gray code the relations must be known. 1 1 = = = = 0 Gray Code To convert the number from binary to Gray code the relations must be known. = = = = Ex Convert the binary number ( ) into Gray Code? bit األول من جهة اليسار ومن ثم تطبق Gray لتحويل الرقم من صيغة

More information

Section 3: Combinational Logic Design. Department of Electrical Engineering, University of Waterloo. Combinational Logic

Section 3: Combinational Logic Design. Department of Electrical Engineering, University of Waterloo. Combinational Logic Section 3: Combinational Logic Design Major Topics Design Procedure Multilevel circuits Design with XOR gates Adders and Subtractors Binary parallel adder Decoders Encoders Multiplexers Programmed Logic

More information

Goals for Lecture. Binary Logic and Gates (MK 2.1) Binary Variables. Notation Examples. Logical Operations

Goals for Lecture. Binary Logic and Gates (MK 2.1) Binary Variables. Notation Examples. Logical Operations Introduction to Electrical Engineering, II LETURE NOTES #2 Instructor: Email: Telephone: Office: ndrew. Kahng (lecture) abk@ucsd.edu 858-822-4884 office 3802 P&M lass Website: http://vlsicad.ucsd.edu/courses/ece20b/wi04/

More information

Boolean Algebra. The Building Blocks of Digital Logic Design. Section. Section Overview. Binary Operations and Their Representation.

Boolean Algebra. The Building Blocks of Digital Logic Design. Section. Section Overview. Binary Operations and Their Representation. Section 3 Boolean Algebra The Building Blocks of Digital Logic Design Section Overview Binary Operations (AND, OR, NOT), Basic laws, Proof by Perfect Induction, De Morgan s Theorem, Canonical and Standard

More information

Ch 2. Combinational Logic. II - Combinational Logic Contemporary Logic Design 1

Ch 2. Combinational Logic. II - Combinational Logic Contemporary Logic Design 1 Ch 2. Combinational Logic II - Combinational Logic Contemporary Logic Design 1 Combinational logic Define The kind of digital system whose output behavior depends only on the current inputs memoryless:

More information

CS61c: Representations of Combinational Logic Circuits

CS61c: Representations of Combinational Logic Circuits CS61c: Representations of Combinational Logic Circuits J. Wawrzynek March 5, 2003 1 Introduction Recall that synchronous systems are composed of two basic types of circuits, combination logic circuits,

More information

XOR - XNOR Gates. The graphic symbol and truth table of XOR gate is shown in the figure.

XOR - XNOR Gates. The graphic symbol and truth table of XOR gate is shown in the figure. XOR - XNOR Gates Lesson Objectives: In addition to AND, OR, NOT, NAND and NOR gates, exclusive-or (XOR) and exclusive-nor (XNOR) gates are also used in the design of digital circuits. These have special

More information

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev. Section 2: Boolean Algebra & Logic Gates

E&CE 223 Digital Circuits & Systems. Lecture Transparencies (Boolean Algebra & Logic Gates) M. Sachdev. Section 2: Boolean Algebra & Logic Gates Digital Circuits & Systems Lecture Transparencies (Boolean lgebra & Logic Gates) M. Sachdev 4 of 92 Section 2: Boolean lgebra & Logic Gates Major topics Boolean algebra NND & NOR gates Boolean algebra

More information

Lecture A: Logic Design and Gates

Lecture A: Logic Design and Gates Lecture A: Logic Design and Gates Syllabus My office hours 9.15-10.35am T,Th or gchoi@ece.tamu.edu 333G WERC Text: Brown and Vranesic Fundamentals of Digital Logic,» Buy it.. Or borrow it» Other book:

More information

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits

EE40 Lec 15. Logic Synthesis and Sequential Logic Circuits EE40 Lec 15 Logic Synthesis and Sequential Logic Circuits Prof. Nathan Cheung 10/20/2009 Reading: Hambley Chapters 7.4-7.6 Karnaugh Maps: Read following before reading textbook http://www.facstaff.bucknell.edu/mastascu/elessonshtml/logic/logic3.html

More information

COE 202: Digital Logic Design Combinational Logic Part 2. Dr. Ahmad Almulhem ahmadsm AT kfupm Phone: Office:

COE 202: Digital Logic Design Combinational Logic Part 2. Dr. Ahmad Almulhem   ahmadsm AT kfupm Phone: Office: COE 202: Digital Logic Design Combinational Logic Part 2 Dr. Ahmad Almulhem Email: ahmadsm AT kfupm Phone: 860-7554 Office: 22-324 Objectives Minterms and Maxterms From truth table to Boolean expression

More information

Unit 2 Boolean Algebra

Unit 2 Boolean Algebra Unit 2 Boolean Algebra 2.1 Introduction We will use variables like x or y to represent inputs and outputs (I/O) of a switching circuit. Since most switching circuits are 2 state devices (having only 2

More information

ECE 545 Digital System Design with VHDL Lecture 1A. Digital Logic Refresher Part A Combinational Logic Building Blocks

ECE 545 Digital System Design with VHDL Lecture 1A. Digital Logic Refresher Part A Combinational Logic Building Blocks ECE 545 Digital System Design with VHDL Lecture A Digital Logic Refresher Part A Combinational Logic Building Blocks Lecture Roadmap Combinational Logic Basic Logic Review Basic Gates De Morgan s Laws

More information

Combinational Logic Fundamentals

Combinational Logic Fundamentals Topic 3: Combinational Logic Fundamentals In this note we will study combinational logic, which is the part of digital logic that uses Boolean algebra. All the concepts presented in combinational logic

More information

Combinational Logic (mostly review!)

Combinational Logic (mostly review!) ombinational Logic (mostly review!)! Logic functions, truth tables, and switches " NOT, N, OR, NN, NOR, OR,... " Minimal set! xioms and theorems of oolean algebra " Proofs by re-writing " Proofs by perfect

More information

Boolean Algebra, Gates and Circuits

Boolean Algebra, Gates and Circuits Boolean Algebra, Gates and Circuits Kasper Brink November 21, 2017 (Images taken from Tanenbaum, Structured Computer Organization, Fifth Edition, (c) 2006 Pearson Education, Inc.) Outline Last week: Von

More information

Boolean Algebra CHAPTER 15

Boolean Algebra CHAPTER 15 CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an

More information

Chapter 2 Combinational logic

Chapter 2 Combinational logic Chapter 2 Combinational logic Chapter 2 is very easy. I presume you already took discrete mathemtics. The major part of chapter 2 is boolean algebra. II - Combinational Logic Copyright 24, Gaetano Borriello

More information

ELCT201: DIGITAL LOGIC DESIGN

ELCT201: DIGITAL LOGIC DESIGN ELCT2: DIGITAL LOGIC DESIGN Dr. Eng. Haitham Omran, haitham.omran@guc.edu.eg Dr. Eng. Wassim Alexan, wassim.joseph@guc.edu.eg Lecture 2 Following the slides of Dr. Ahmed H. Madian ذو الحجة 438 ه Winter

More information

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table. The Laws of Boolean Boolean algebra As well as the logic symbols 0 and 1 being used to represent a digital input or output, we can also use them as constants for a permanently Open or Closed circuit or

More information

Logic Gates and Boolean Algebra

Logic Gates and Boolean Algebra Logic Gates and oolean lgebra The ridge etween Symbolic Logic nd Electronic Digital Computing Compiled y: Muzammil hmad Khan mukhan@ssuet.edu.pk asic Logic Functions and or nand nor xor xnor not 2 Logic

More information

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture)

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture) COSC 243 Introduction to Logic And Combinatorial Logic 1 Overview This Lecture Introduction to Digital Logic Gates Boolean algebra Combinatorial Logic Source: Chapter 11 (10 th edition) Source: J.R. Gregg,

More information

Digital- or Logic Circuits. Outline Logic Circuits. Logic Voltage Levels. Binary Representation

Digital- or Logic Circuits. Outline Logic Circuits. Logic Voltage Levels. Binary Representation Outline Logic ircuits Introduction Logic Systems TTL MOS Logic Gates NOT, OR, N NOR, NN, XOR Implementation oolean lgebra ombinatorial ircuits Multipleer emultipleer rithmetic ircuits Simplifying Logic

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 3 Additional Gates and Circuits Overview Part 1 Gate Circuits and Boolean Equations Binary Logic and Gates Boolean Algebra

More information

211: Computer Architecture Summer 2016

211: Computer Architecture Summer 2016 211: Computer Architecture Summer 2016 Liu Liu Topic: Storage Project3 Digital Logic - Storage: Recap - Review: cache hit rate - Project3 - Digital Logic: - truth table => SOP - simplification: Boolean

More information

Introduction to Quantum Computation

Introduction to Quantum Computation Introduction to Quantum Computation Ioan Burda Introduction to Quantum Computation Copyright 2005 Ioan Burda All rights reserved. Universal Publishers Boca Raton, Florida USA 2005 ISBN: 1-58112- 466-X

More information

Learning Objectives. Boolean Algebra. In this chapter you will learn about:

Learning Objectives. Boolean Algebra. In this chapter you will learn about: Ref. Page Slide /78 Learning Objectives In this chapter you will learn about: oolean algebra Fundamental concepts and basic laws of oolean algebra oolean function and minimization Logic gates Logic circuits

More information

Combinatorial Logic Design Principles

Combinatorial Logic Design Principles Combinatorial Logic Design Principles ECGR2181 Chapter 4 Notes Logic System Design I 4-1 Boolean algebra a.k.a. switching algebra deals with boolean values -- 0, 1 Positive-logic convention analog voltages

More information

Contents. Chapter 3 Combinational Circuits Page 1 of 36

Contents. Chapter 3 Combinational Circuits Page 1 of 36 Chapter 3 Combinational Circuits Page of 36 Contents Combinational Circuits...2 3. Analysis of Combinational Circuits...3 3.. Using a Truth Table...3 3..2 Using a Boolean Function...6 3.2 Synthesis of

More information

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays

CMSC 313 Lecture 18 Midterm Exam returned Assign Homework 3 Circuits for Addition Digital Logic Components Programmable Logic Arrays MS 33 Lecture 8 Midterm Exam returned Assign Homework 3 ircuits for Addition Digital Logic omponents Programmable Logic Arrays UMB, MS33, Richard hang MS 33, omputer Organization & Assembly

More information

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18 University of Waterloo Department of Electrical & Computer Engineering E&CE 223 Digital Circuits and Systems Midterm Examination Instructor: M. Sachdev October 23rd, 2007 Total Time = 90 Minutes, Total

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations Charles Kime & Thomas Kaminski 2008 Pearson Education, Inc. Overview Part 1 Gate

More information

Additional Gates COE 202. Digital Logic Design. Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals

Additional Gates COE 202. Digital Logic Design. Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals Additional Gates COE 202 Digital Logic Design Dr. Muhamed Mudawar King Fahd University of Petroleum and Minerals Presentation Outline Additional Gates and Symbols Universality of NAND and NOR gates NAND-NAND

More information

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA 3 Boolean Algebra 3.1 BOOLEAN ALGEBRA In 1854, George Boole introduced the following formalism which eventually became Boolean Algebra. Definition. An algebraic system consisting of a set B of elements

More information

Part 1: Digital Logic and Gates. Analog vs. Digital waveforms. The digital advantage. In real life...

Part 1: Digital Logic and Gates. Analog vs. Digital waveforms. The digital advantage. In real life... Part 1: Digital Logic and Gates Analog vs Digital waveforms An analog signal assumes a continuous range of values: v(t) ANALOG A digital signal assumes discrete (isolated, separate) values Usually there

More information

BOOLEAN ALGEBRA TRUTH TABLE

BOOLEAN ALGEBRA TRUTH TABLE BOOLEAN ALGEBRA 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. Eg:

More information