1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices.
|
|
- Clifton Evans
- 5 years ago
- Views:
Transcription
1 1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices. Proof: Every vertex, except the root, is the child of an internal vertex. Since there are i internal vertices, each of which has m children, there are mi vertices other than the root; including the root gives a total of mi + 1 vertices. 2. For a full m- ary tree with n vertices, i internal vertices, and l leaves, prove: (i) i = (n 1)/m and l = [(m 1)n + 1]/m Proofs: Since n= mi + 1 (#2 above), solving for i we get i = (n 1)/m. Next, since n = i + l, we have i = n l. Replacing i with n l in the equation i = (n 1)/m and solving for l, we have n l = n 1 m l = n 1 m n l = n n 1 m l = nm m n 1 m nm n 1 l = m l = nm n+1 m ( l = m 1 )n+1 m (ii) n = mi + 1 vertices and l = (m 1)i + 1 Proofs: We have already proven n = mi + 1 (#2 above). Using the fact that n = i + l we have i+l = mi + 1. Solving for i we have i+l = mi+1 l = mi+1 i l = mi i+1 l = ( m 1)i+1
2 (iii) n = (ml 1)/(m 1) and i = (l 1)/(m 1) Proofs: From (i) above we have l = [(m 1)n + 1]/m Solving for n we have ( l = m 1 )n+1 m ml = ( m 1)n+1 ml 1= ( m 1)n ml 1 m 1 = n From (ii) above we have l = (m 1)i + 1. Solving for i we have l = ( m 1)i+1 l 1= ( m 1)i l 1 m 1 = i 3-8. Refer to this rooted tree: 3. According to universal addressing, what is the address of vertex d? answer: 3 4. According to universal addressing, what is the address of vertex f? answer: According to universal addressing, what is the address of vertex j? answer: Write the preorder traversal. answer: a- b- e- f- c- g- h- d- i- j- k 7. Write the postorder traversal. answer: e- f- b- g- h- c- j- k- i- d- a 8. Write the inorder traversal. answer: e- b- f- a- g- c- h- j- i- k- d
3 9-14. Refer to this rooted tree: 9. According to universal addressing, what is the address of vertex g? answer: According to universal addressing, what is the address of vertex l? answer: According to universal addressing, what is the address of vertex o? answer: Write the preorder traversal. answer: a- b- c- f- g- h- m- d- i- n- o- j- k- e- l- p 13. Write the postorder traversal. answer: b- f- g- m- h- c- n- o- i- j- k- d- p- l- e- a 14. Write the inorder traversal. answer: b- a- f- c- g- m- h- n- i- o- d- j- k- p- l- e 15. Draw the binary tree for the expression (5 (7 + 3)) (8 2) 16. Referring to #15, write the expression in prefix notation. Answer: Prove: On a tree, there is a unique simple path between any two vertices.
4 Proof by contraposition: Recall that a tree is a connected simple graph with no cycles. Suppose G is a connected simple graph such and there are vertices u, v such that there are two distinct paths, P1 and P2, from u to v. Then concatenating these paths produces a cycle from u to u, hence G is not a tree. 18. Prove: A tree with n vertices has exactly n 1 edges. Proof: Each edge of the tree uniquely connects one child to its parent. Of the n vertices, only one vertex (the root) does not have a parent, so the number of edges is n 1. Alternative proof: In discussing connectivity, and graphs in general, we have already proved, for any simple graph G with n vertices: A. If G is connected, then G has at least n 1 edges; and B. If G has more than n 1 edges, then G has a cycle. Combining these two results, we see that any connected acyclic simple graph (i.e. any tree) must have exactly n 1 vertices. 19. Draw the binary tree for the expression (8 3) + ((6 + 2) 5). 20. Referring to #19, write the expression in prefix and postfix notation. prefix: postfix: Draw the binary tree for the expression (5 (3 + (2 4))) (2 + 9). 22. Referring to #21, write the expression prefix and postfix notation.
5 prefix: postfix: Use strong induction to prove: The number of leaves on an m- ary tree of height h is at most m h, for h 1 (the case where h=0 is trivial). Basis: Suppose we have an m- ary tree of height 1. The tree consists only the root and its children, each of which is a leaf. Since this is an m- ary tree, there are at most m of these, so the number of leaves is at most m = m 1. Strong inductive: Suppose, for some k 1, that every m- ary tree of height j has at most m j leaves whenever j k. Let T be an m- ary tree of height k+1, with root r. Consider the graph T r. This graph is a forest of at most m disjoint m- ary subtrees, each of which has height less than or equal to k. Collectively, the leaves of this forest are the same as the leaves of T. Let L be the number of leaves of this forest. Then L (maximum number of subtrees) (maximum number of leaves per subtree) = m m k = m k+1, so T has at most m k+1 leaves. 24. Evaluate the postfix expression: answer: Draw the binary tree for # Referring to #24, write the expression in prefix notation answer: Refer to this graph:
6 A. Suppose we perform a breadth first search rooted at c. If the first two edges are {c, a} and {a, f }, what is the next edge? Answer {a, b} B. Suppose we perform a breadth first search rooted at e. If the first three edges are {e, h}, {e, n} and {h, g}, what is the next edge? Answer {h, i} C. Suppose we perform a depth first search rooted at d, starting with the path d, b, a, f. What edge is added next? Answer: {a, c} D. Suppose we perform a breadth first search rooted at d. If the first two edges are {d, f}, and {d, n}, what is the next edge? Answer {d, b} E. Suppose we perform a depth first search rooted at b, starting with the path b, n, e, h, i. What edge is added next? Answer: {h, g} F. Suppose we perform a depth first search rooted at e, starting with the path e, n, b, d, f, a, c. What edge is added next? Answer: {e, h}
7 28. Refer to this graph: A. Suppose we perform a depth first search rooted at f, starting with the path f, d, b, a. Continuing the search, what will the final edge added to the spanning tree? Answer {e, g} B. Suppose we perform a depth first search rooted at e, employing the path e, b, d, f Continuing the search, what will then next vertex added to the spanning tree? Answer a C. Suppose we perform a breadth first search rooted at c, starting with the edges {c, h}, {c, b}. What will be the next edge? Answer {c, a} D. Suppose we perform a breadth first search rooted at f, starting with the edges {f, d}, {d, e}. What will be the next edge? Answer {d, b} 29. Use Boolean identities, and algebra, to prove x y + y + z = y z + x Justify each step in the proof. Do not skip or combine steps. Here is one correct proof: x y + y + z = x y + yz//demorgan'slaw = yx + yz//commutativelaw = y( x + z)//distributivelaw = y( z + x)//commutativelaw 30. Use Boolean identities, and algebra, to prove x xy + zy = x Justify each step of the proof. Do not skip or combine steps. Here is one proof. It is not the only correct proof.
8 x( xy + zy) = xxy + x yz//distributivelaw = xy + x yz//idempotentlaw = xy + x( y + z)//demorgan'slaw = xy + x y + xz//distributivelaw = x( y + y)+ xz//distributivelaw = x( 1)+ xz//complementslaw =x + xz//identitylaw =x//absorptionlaw 31. T F The set { +, } is functionally complete. Proof: Since our set of operators contains both sum and negation, we only need to prove that product can be expressed in terms of sums and negations: xy = xy //Double negation = x + y //DeMorgan's Law and double negation 32. Write a Boolean expression that is equivalent to xyz + yz, but without any products. Solution: xyz + yz = xyz + yz //Double negation = x + y + z + y + z //DeMorgan's Law, double negation 33. T F The set {, } is functionally complete. Proof: Since our set of operators contains both sum and product, we only need to prove that sum can be expressed used products and negations: x + y = x + y //Double negation = x y //DeMorgan's Law 34. Write a Boolean expression that is equivalent to xyz + yz, but without any sums. Solution: xyz + yz = xyz + yz //Double negation = xyz yz //DeMorgan's Law
9 35. T F If the set, { } is functionally complete, then the set Proof: Since we have the hypothesis that {, }, we can prove that that negation and product can be expressed using only the nor operator. We will also use the definition: x y = x + y. First, x = x x //Idempotent Law = x + x //DeMorgan's Law = x x //Definition of nor Next, xy = x + y //DeMorgan's Law = x y //Definition of nor = ( x x) ( y y) //because a = a a { } is functionally complete. { } is functionally complete by showing This shows that negations and products can be expressed using only the nor operator, so the nor operator is functionally complete. 36. T F If the set +, { } is functionally complete, then the set {} is functionally complete. Proof: Since we have the hypothesis that { +, }, we can prove that {} is functionally complete by showing that sum and negation can be expressed using only the nand operator. We will also use the definition: x y = xy. First, x = x + x //Idempotent Law = x x //DeMorgan's Law = x x //Definition of nand Next, x + y = x y //DeMorgan's Law = x y //Definition of nand = ( x x) ( y y) //because a = a a
10 This shows that negations and sums can be expressed using only the nand operator, so the nand operator is functionally complete. 37. Use algebra (not a truth table) to derive the sum of products expansion (aka disjunctive normal form) y + z = xz + x + yz. You don t have to justify the steps. You may skip or combine steps. for F x, y,z You must write the answer using lexicographic order. The answer is: x yz + x yz + x yz Here is the derivation: y + z yz xz + x + yz = xz + x + yz = xz + x yz + yz yz = xz + x yz + yzz = xz + x yz + y 0 = xz + x yz = xz( y + y)+ x yz = x yz + x yz + x yz = x yz + x yz + x yz 38. Use algebra (not a truth table) to derive the sum of products expansion (aka disjunctive normal form) for F ( x, y,z) = x( y + z)+ yz. You don t have to justify the steps. You may skip or combine steps. You must write the answer using lexicographic order. The answer is: xyz + x yz + x yz + x yz Here is the derivation, with some terse explanations. x( y + z)+ yz = x y + xz + yz //distributive law + xz ( y + y ) + yz ( x + x ) = x y z + z = x yz + x yz + x yz + x yz + xyz + x yz //distribute //multiply various terms by 1 = xyz + x yz + x yz + x yz //place minterms in correct order, remove redundant minterms 39. Use algebra (not a truth table) to derive the sum of products expansion (aka disjunctive normal form) for F ( x, y,z) = ( x + y) yz. You don t have to justify the steps. You may skip or combine steps. You must write the answer using lexicographic order.
11 The answer is: x yz + x yz ( x + y) yz = x y y + z //DeMorgan's Laws = x y + x yz //Distributive and Idempotent Laws = x y z + z + x yz //Multiply a term by 1 = x yz + x yz + x yz //Distributive Law = x yz + x yz //Idempotent Law & check correct ordering of minterms 40. Use Boolean identities, and algebra, to prove ( y + x) x + y =1. Justify each step of the proof. Do not skip or combine steps. Here is one proof. It is not the only correct proof. ( y + x) x + y = ( y + x)+ x + y //DeMorgan's Law, Double Negation = ( y + x)+ [ x + y] //Associative Law = ( x + y)+ [ x + y] //Commutative Law =1 //Complements Law 41. Use algebra to derive the sum of products expansion (aka disjunctive normal form) for = x + z + y x + z F x, y,z You may skip/combine steps. You don t have to write the justifications. Your answer must be written using lexicographic order. Answer: xyz + xyz + x yz + x yz + x yz Solution: Here is one derivation. Some justifications have been provided, for pedagogical reasons, but you would not have to write those justifications on a test. x + z + y( x + z) = x z + yx + yz //DeMorgan's law, Distributive law + yx ( z + z ) + yz ( x + x ) = xz y + y //Multiply terms by 1, in 3 places = x yz + x yz + x yz + x yz + x yz + x yz //Distributive law 3, also Commutative law to arrange literals = x yz + x yz + x yz + x yz //Commutative law to arrange minterms lexicographically, // also Idempotent law to remove redundant minterm 42. Use algebra, not a truth table, to derive the sum of products expansion for F ( x, y, x) = z y + x
12 You may skip/combine steps. You do not have to justify the steps. You must write your answer using lexicographic order. Answer: xyz + xyz + xyz + xyz + xyz Solution: Here is one derivation. Some justifications have been provided, for pedagogical reasons, but you would not have to write those justifications on a test (for this style of problem, only). //DeMorgan's Law z y + x = z + y + x = z + yx //DeMorgan's Law = z( x + x)+ yx z + z //Multiply terms by 1, in two places = zx + zx + yxz + yxz //Distributive law = zx( y + y)+ zx( y + y)+ yxz + yxz //Multiply terms by 1, in two places = zxy + zxy + zxy + zxy + yxz + yxz //Distributive law = xyz + xyz + xyz + xyz + xyz + xyz //Commutative law, repeatedly, to arrange literals within minterms = xyz + xyz + xyz + xyz + xyz + xyz //Commutative law, repeatedly, to arrange minterms lexicographically = xyz + xyz + xyz + xyz + xyz //Idempotent law removes a redundant minterm 43. Find a Boolean function equivalent to ( x + y) ( yz) but without any sums. ( x + y) yz Double negation DeMorgan's law and double negation = x + y yz = xy yz 44. Find a Boolean function equivalent to ( x + y) ( yz) but without any products. ( x + y) yz ( yz) Double negation + ( yz) DeMorgan's law + y + z DeMorgan's law, double negation = x + y = x + y = x + y ( yz) ( xy) + ( y + z) 45. Find the dual to x + y Answer:
13 46. Using, as needed, the Identity, Complements, Commutative, Associative and Distributive laws as axioms, prove this Idempotent law: x x = x. Proof: x = x 1//Identitylaw = x( x + x)//complementslaw = x x + x x//distributivelaw = x x +0//Complementslaw = x x//identitylaw 47. Using, as needed, the Identity, Complements, Commutative, Associative and Distributive laws as axioms, prove this Idempotent law: x + x = x. Proof: x = x +0//Identitylaw //Complementslaw //Distributivelaw = x + x x x + x = x + x == ( x + x) 1//Complementslaw = x + x//identitylaw 48. Having proven the Idempotent laws (Exercises 22 and 23 above), use them as needed, along with the Identity, Complements, Commutative, Associative and Distributive laws as axioms, to prove this Domination law: x 0 = 0 Proof: x 0 = x ( x x)//complementslaw = ( x x) x//associativelaw = x x//idempotentlaw = 0//Complementslaw 49. Having proven the Idempotent laws (Exercises 22 and 23 above), use them as needed, along with the Identity, Complements, Commutative, Associative and Distributive laws as axioms, to prove this Domination law: x +1 = 1
14 Proof: x +1 = x + ( x + x)//complementslaw = ( x + x)+ x//associativelaw = x + x//idempotentlaw = 1//Complementslaw 50. Having proven the Idempotent and Domination laws (Exercises above), use them as needed, along with the Identity, Complements, Commutative, Associative and Distributive laws as axioms, to prove this Absorption law: x + xy = x Proof: x + xy = x 1+ xy//identitylaw = x( 1+ y)//distributivelaw = x 1//Dominationlaw = x//identitylaw 51. Having proven the Idempotent and Domination laws (Exercises above), use them as needed, along with the Identity, Complements, Commutative, Associative and Distributive laws as axioms, to = x prove this Absorption law: x x + y Proof: x + y x x + y = x +0 //Identitylaw = x + ( 0 y)//distributivelaw = x +0//Dominationlaw = x//identitylaw
The least element is 0000, the greatest element is 1111.
Note: this worksheet has been modified to emphasize the Boolean algebra content. Some problems have been deleted.; this, for instance, is why the first problem is #5 rather than #1. 5. Let A be the set
More informationBoolean 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 informationCHAPTER1: 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 informationChapter 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 informationDigital 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 informationChapter 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 informationBoolean 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 informationCHAPTER 2 BOOLEAN ALGEBRA
CHAPTER 2 BOOLEAN ALGEBRA This chapter in the book includes: Objectives Study Guide 2.1 Introduction 2.2 Basic Operations 2.3 Boolean Expressions and Truth Tables 2.4 Basic Theorems 2.5 Commutative, Associative,
More informationCHAPTER 12 Boolean Algebra
318 Chapter 12 Boolean Algebra CHAPTER 12 Boolean Algebra SECTION 12.1 Boolean Functions 2. a) Since x 1 = x, the only solution is x = 0. b) Since 0 + 0 = 0 and 1 + 1 = 1, the only solution is x = 0. c)
More informationCS 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 informationLogic 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 informationChapter 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 informationCombinational 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 informationUnit 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 informationDigital Logic Design. Combinational Logic
Digital Logic Design Combinational Logic Minterms A product term is a term where literals are ANDed. Example: x y, xz, xyz, A minterm is a product term in which all variables appear exactly once, in normal
More informationContents. 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 informationFunctions. Computers take inputs and produce outputs, just like functions in math! Mathematical functions can be expressed in two ways:
Boolean Algebra (1) Functions Computers take inputs and produce outputs, just like functions in math! Mathematical functions can be expressed in two ways: An expression is finite but not unique f(x,y)
More informationII. 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 informationCHAPTER 3 BOOLEAN ALGEBRA
CHAPTER 3 BOOLEAN ALGEBRA (continued) This chapter in the book includes: Objectives Study Guide 3.1 Multiplying Out and Factoring Expressions 3.2 Exclusive-OR and Equivalence Operations 3.3 The Consensus
More informationChapter-2 BOOLEAN ALGEBRA
Chapter-2 BOOLEAN ALGEBRA Introduction: An algebra that deals with binary number system is called Boolean Algebra. It is very power in designing logic circuits used by the processor of computer system.
More informationWe last time we began introducing equivalency laws.
Monday, January 14 MAD2104 Discrete Math 1 Course website: www/mathfsuedu/~wooland/mad2104 Today we will continue in Course Notes Chapter 22 We last time we began introducing equivalency laws Today we
More informationBoolean 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 information3. Abstract Boolean Algebras
3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,
More informationEarlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that ax = a or ax = 0 for all x.
Friday, April 20 Today we will continue in Course Notes 3.3: Abstract Boolean Algebras. Earlier this week we defined Boolean atom: A Boolean atom a is a nonzero element of a Boolean algebra, such that
More informationLecture 5: NAND, NOR and XOR Gates, Simplification of Algebraic Expressions
EE210: Switching Systems Lecture 5: NAND, NOR and XOR Gates, Simplification of Algebraic Expressions Prof. YingLi Tian Feb. 15, 2018 Department of Electrical Engineering The City College of New York The
More informationMC9211 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 informationBoolean Algebra and Logic Gates Chapter 2. Topics. Boolean Algebra 9/21/10. EECE 256 Dr. Sidney Fels Steven Oldridge
Boolean Algebra and Logic Gates Chapter 2 EECE 256 Dr. Sidney Fels Steven Oldridge Topics DefiniGons of Boolean Algebra Axioms and Theorems of Boolean Algebra two valued Boolean Algebra Boolean FuncGons
More informationChapter 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 informationChapter 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 informationDiscrete 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 informationLogic 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 informationCombinational 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 informationEx: 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 informationcontrol in out in out Figure 1. Binary switch: (a) opened or off; (b) closed or on.
Chapter 2 Digital Circuits Page 1 of 18 2. Digital Circuits Our world is an analog world. Measurements that we make of the physical objects around us are never in discrete units but rather in a continuous
More informationUNIT 3 BOOLEAN ALGEBRA (CONT D)
UNIT 3 BOOLEAN ALGEBRA (CONT D) Spring 2011 Boolean Algebra (cont d) 2 Contents Multiplying out and factoring expressions Exclusive-OR and Exclusive-NOR operations The consensus theorem Summary of algebraic
More informationCombinational Logic. Fan-in/ Fan-out Timing. Copyright (c) 2012 Sean Key
Combinational Logic Fan-in/ Fan-out Timing Copyright (c) 2012 Sean Key Fan-in & Fan-out Fan-in The number of inputs to a logic gate Higher fan-in can lead to longer gate delays because of the higher input
More informationLecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps
EE210: Switching Systems Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps Prof. YingLi Tian Feb. 21/26, 2019 Department of Electrical Engineering The City College of New York
More informationStandard Expression Forms
ThisLecture will cover the following points: Canonical and Standard Forms MinTerms and MaxTerms Digital Logic Families 24 March 2010 Standard Expression Forms Two standard (canonical) expression forms
More informationMore Propositional Logic Algebra: Expressive Completeness and Completeness of Equivalences. Computability and Logic
More Propositional Logic Algebra: Expressive Completeness and Completeness of Equivalences Computability and Logic Equivalences Involving Conditionals Some Important Equivalences Involving Conditionals
More informationWeek-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 informationThis form sometimes used in logic circuit, example:
Objectives: 1. Deriving of logical expression form truth tables. 2. Logical expression simplification methods: a. Algebraic manipulation. b. Karnaugh map (k-map). 1. Deriving of logical expression from
More informationChapter 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 informationDiscrete Mathematics
Discrete Mathematics Trees H. Turgut Uyar Ayşegül Gençata Yayımlı Emre Harmancı 2001-2016 License You are free to: c 2001-2016 T. Uyar, A. Yayımlı, E. Harmancı Share copy and redistribute the material
More informationCprE 281: Digital Logic
CprE 281: Digital Logic Instructor: Alexander Stoytchev http://www.ece.iastate.edu/~alexs/classes/ Boolean Algebra CprE 281: Digital Logic Iowa State University, Ames, IA Copyright Alexander Stoytchev
More informationUnit 2 Boolean Algebra
Unit 2 Boolean Algebra 1. Developed by George Boole in 1847 2. Applied to the Design of Switching Circuit by Claude Shannon in 1939 Department of Communication Engineering, NCTU 1 2.1 Basic Operations
More informationCombinational 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 informationE&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 informationCombinatorial 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 informationEECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive
EECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive March 30, 2010 John Wawrzynek Spring 2010 EECS150 - Lec19-cl1 Page 1 Boolean Algebra I (Representations of Combinational
More informationCOS 140: Foundations of Computer Science
COS 140: Foundations of Computer Science Boolean Algebra Fall 2018 Introduction 3 Problem................................................................. 3 Boolean algebra...........................................................
More information2.2: Logical Equivalence: The Laws of Logic
Example (2.7) For primitive statement p and q, construct a truth table for each of the following compound statements. a) p q b) p q Here we see that the corresponding truth tables for two statement p q
More information(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2
Question 1 (a) Suppose A is the set of distinct letters in the word elephant, B is the set of distinct letters in the word sycophant, C is the set of distinct letters in the word fantastic, and D is the
More informationNumber 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 informationChapter 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 informationECE380 Digital Logic. Axioms of Boolean algebra
ECE380 Digital Logic Introduction to Logic Circuits: Boolean algebra Dr. D. J. Jackson Lecture 3-1 Axioms of Boolean algebra Boolean algebra: based on a set of rules derived from a small number of basic
More informationBinary Logic and Gates. Our objective is to learn how to design digital circuits.
Binary Logic and Gates Introduction Our objective is to learn how to design digital circuits. These circuits use binary systems. Signals in such binary systems may represent only one of 2 possible values
More informationTribhuvan University Institute of Science and Technology Micro Syllabus
Tribhuvan University Institute of Science and Technology Micro Syllabus Course Title: Discrete Structure Course no: CSC-152 Full Marks: 80+20 Credit hours: 3 Pass Marks: 32+8 Nature of course: Theory (3
More informationBinary Logic and Gates
1 COE 202- Digital Logic Binary Logic and Gates Dr. Abdulaziz Y. Barnawi COE Department KFUPM 2 Outline Introduction Boolean Algebra Elements of Boolean Algebra (Binary Logic) Logic Operations & Logic
More informationChapter 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 informationBOOLEAN 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 informationSAMPLE ANSWERS MARKER COPY
Page 1 of 12 School of Computer Science 60-265-01 Computer Architecture and Digital Design Fall 2012 Midterm Examination # 1 Tuesday, October 23, 2012 SAMPLE ANSWERS MARKER COPY Duration of examination:
More informationBoolean 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 informationLecture 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 informationSlide 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 informationLecture 6: Gate Level Minimization Syed M. Mahmud, Ph.D ECE Department Wayne State University
Lecture 6: Gate Level Minimization Syed M. Mahmud, Ph.D ECE Department Wayne State University Original Source: Aby K George, ECE Department, Wayne State University Contents The Map method Two variable
More informationComputer Organization I
Computer Organization I Lecture 6: Boolean Algebra /2/29 Wei Lu CS283 Overview Two Principles in Boolean Algebra () Duality Principle (2) Complement Principle Standard Form of Logic Expression () Sum of
More informationCHAPTER 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 informationEEA051 - 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 informationChapter 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 informationBoolean Algebra and Digital Logic
All modern digital computers are dependent on circuits that implement Boolean functions. We shall discuss two classes of such circuits: Combinational and Sequential. The difference between the two types
More informationChapter 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 informationChapter 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 informationComputer Science Foundation Exam
Computer Science Foundation Exam August 2, 2002 Section II A DISCRETE STRUCTURES NO books, notes, or calculators may be used, and you must work entirely on your own. Name: SSN: In this section of the exam,
More informationEC-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 informationMath Final Exam December 14, 2009 Page 1 of 5
Math 201-803-Final Exam December 14, 2009 Page 1 of 5 (3) 1. Evaluate the expressions: (a) 10 C 4 (b) 10 P 4 (c) 15!4! 3!11! (4) 2. (a) In how many ways can a president, a vice president and a treasurer
More informationCS/EE 181a 2010/11 Lecture 4
CS/EE 181a 21/11 Lecture 4 General topic of today s lecture: Logic Optimization Karnaugh maps. Quine-McCluskey tabulation method (not in detail). Non series-parallel networks (some care is required). Reference
More informationCHAPTER 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 informationENG2410 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 informationBoolean Algebra. Philipp Koehn. 9 September 2016
Boolean Algebra Philipp Koehn 9 September 2016 Core Boolean Operators 1 AND OR NOT A B A and B 0 0 0 0 1 0 1 0 0 1 1 1 A B A or B 0 0 0 0 1 1 1 0 1 1 1 1 A not A 0 1 1 0 AND OR NOT 2 Boolean algebra Boolean
More informationChapter 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 informationE&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 informationWEEK 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 informationBoolean Algebra. Examples: (B=set of all propositions, or, and, not, T, F) (B=2 A, U,, c, Φ,A)
Boolean Algebra Definition: A Boolean Algebra is a math construct (B,+,.,, 0,1) where B is a non-empty set, + and. are binary operations in B, is a unary operation in B, 0 and 1 are special elements of
More informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More informationHardware Design I Chap. 2 Basis of logical circuit, logical expression, and logical function
Hardware Design I Chap. 2 Basis of logical circuit, logical expression, and logical function E-mail: shimada@is.naist.jp Outline Combinational logical circuit Logic gate (logic element) Definition of combinational
More informationECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN. Week 2 Dr. Srinivas Shakkottai Dept. of Electrical and Computer Engineering
ECEN 248: INTRODUCTION TO DIGITAL SYSTEMS DESIGN Week 2 Dr. Srinivas Shakkottai Dept. of Electrical and Computer Engineering Boolean Algebra Boolean Algebra A Boolean algebra is defined with: A set of
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationChapter 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 informationFundamentals of Computer Systems
Fundamentals of Computer Systems Boolean Logic Stephen A. Edwards Columbia University Fall 2011 Boolean Logic George Boole 1815 1864 Boole s Intuition Behind Boolean Logic Variables x, y,... represent
More informationGate-Level Minimization
Gate-Level Minimization Dr. Bassem A. Abdullah Computer and Systems Department Lectures Prepared by Dr.Mona Safar, Edited and Lectured by Dr.Bassem A. Abdullah Outline 1. The Map Method 2. Four-variable
More informationECE 238L Boolean Algebra - Part I
ECE 238L Boolean Algebra - Part I August 29, 2008 Typeset by FoilTEX Understand basic Boolean Algebra Boolean Algebra Objectives Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand
More informationBOOLEAN ALGEBRA. Introduction. 1854: Logical algebra was published by George Boole known today as Boolean Algebra
BOOLEAN ALGEBRA Introduction 1854: Logical algebra was published by George Boole known today as Boolean Algebra It s a convenient way and systematic way of expressing and analyzing the operation of logic
More informationSolutions to Assignment No 5 Digital Techniques Fall 2007
Solutions to Assignment No 5 Digital Techniques Fall 2007 André Deutz October 19, 2007 1 Simplifying and Manipulating Boolean Expressions 1. Simplification (a) Simplify each of the following expressions,
More informationBoolean Algebra. Sungho Kang. Yonsei University
Boolean Algebra Sungho Kang Yonsei University Outline Set, Relations, and Functions Partial Orders Boolean Functions Don t Care Conditions Incomplete Specifications 2 Set Notation $09,3/#0,9 438 v V Element
More informationCSCI 1010 Models of Computa3on. Lecture 02 Func3ons and Circuits
CSCI 1010 Models of Computa3on Lecture 02 Func3ons and Circuits Overview Func3ons and languages Designing circuits from func3ons Minterms and the DNF Maxterms and CNF Circuit complexity Algebra of Boolean
More informationChapter 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 informationHomework Solution #1. Chapter 2 2.6, 2.17, 2.24, 2.30, 2.39, 2.42, Grading policy is as follows: - Total 100
Homework Solution #1 Chapter 2 2.6, 2.17, 2.24, 2.30, 2.39, 2.42, 2.48 Grading policy is as follows: - Total 100 Exercise 2.6 (total 10) - Column 3 : 5 point - Column 4 : 5 point Exercise 2.17 (total 25)
More informationTheorem/Law/Axioms Over (.) Over (+)
material prepared by: MUKESH OHR Follow me on F : http://www.facebook.com/mukesh.sirji4u OOLEN LGER oolean lgebra is a set of rules, laws and theorems by which logical operations can be mathematically
More informationLogic and Boolean algebra
Computer Mathematics Week 7 Logic and Boolean algebra College of Information Science and Engineering Ritsumeikan University last week coding theory channel coding information theory concept Hamming distance
More informationPractice Midterm Exam Solutions
CSE 311: Foundations of Computing I Practice Midterm Exam Solutions Name: Sample Solutions ID: TA: Section: INSTRUCTIONS: You have 50 minutes to complete the exam. The exam is closed book. You may not
More information