1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices.

Size: px
Start display at page:

Download "1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices."

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.

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

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

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

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

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

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 BOOLEAN ALGEBRA

CHAPTER 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 information

CHAPTER 12 Boolean Algebra

CHAPTER 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 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

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

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

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

Digital Logic Design. Combinational Logic

Digital 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 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

Functions. Computers take inputs and produce outputs, just like functions in math! Mathematical functions can be expressed in two ways:

Functions. 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 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

CHAPTER 3 BOOLEAN ALGEBRA

CHAPTER 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 information

Chapter-2 BOOLEAN ALGEBRA

Chapter-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 information

We last time we began introducing equivalency laws.

We 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 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

3. Abstract Boolean Algebras

3. 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 information

Earlier 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.

Earlier 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 information

Lecture 5: NAND, NOR and XOR Gates, Simplification of Algebraic Expressions

Lecture 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 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

Boolean 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. 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 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

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

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

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

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

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

control in out in out Figure 1. Binary switch: (a) opened or off; (b) closed or on.

control 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 information

UNIT 3 BOOLEAN ALGEBRA (CONT D)

UNIT 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 information

Combinational Logic. Fan-in/ Fan-out Timing. Copyright (c) 2012 Sean Key

Combinational 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 information

Lecture 6: Manipulation of Algebraic Functions, Boolean Algebra, Karnaugh Maps

Lecture 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 information

Standard Expression Forms

Standard 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 information

More 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 More Propositional Logic Algebra: Expressive Completeness and Completeness of Equivalences Computability and Logic Equivalences Involving Conditionals Some Important Equivalences Involving Conditionals

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

This form sometimes used in logic circuit, example:

This 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 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

Discrete Mathematics

Discrete 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 information

CprE 281: Digital Logic

CprE 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 information

Unit 2 Boolean Algebra

Unit 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 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

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

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

EECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive

EECS150 - 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 information

COS 140: Foundations of Computer Science

COS 140: Foundations of Computer Science COS 140: Foundations of Computer Science Boolean Algebra Fall 2018 Introduction 3 Problem................................................................. 3 Boolean algebra...........................................................

More information

2.2: Logical Equivalence: The Laws of Logic

2.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

(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 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

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

ECE380 Digital Logic. Axioms of Boolean algebra

ECE380 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 information

Binary Logic and Gates. Our objective is to learn how to design digital circuits.

Binary 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 information

Tribhuvan University Institute of Science and Technology Micro Syllabus

Tribhuvan 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 information

Binary Logic and Gates

Binary 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 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

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

SAMPLE ANSWERS MARKER COPY

SAMPLE 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 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

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

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 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 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 information

Computer Organization I

Computer 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 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

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

Boolean Algebra and Digital Logic

Boolean 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 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 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

Computer Science Foundation Exam

Computer 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 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

Math Final Exam December 14, 2009 Page 1 of 5

Math 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 information

CS/EE 181a 2010/11 Lecture 4

CS/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 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

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

Boolean Algebra. Philipp Koehn. 9 September 2016

Boolean 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 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

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

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

Boolean Algebra. Examples: (B=set of all propositions, or, and, not, T, F) (B=2 A, U,, c, Φ,A)

Boolean 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 information

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Review 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 information

Hardware 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 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 information

ECEN 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 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 information

Axioms of Kleene Algebra

Axioms 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 information

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

Fundamentals of Computer Systems

Fundamentals 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 information

Gate-Level Minimization

Gate-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 information

ECE 238L Boolean Algebra - Part I

ECE 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 information

BOOLEAN 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 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 information

Solutions to Assignment No 5 Digital Techniques Fall 2007

Solutions 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 information

Boolean Algebra. Sungho Kang. Yonsei University

Boolean 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 information

CSCI 1010 Models of Computa3on. Lecture 02 Func3ons and Circuits

CSCI 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 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

Homework 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, 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 information

Theorem/Law/Axioms Over (.) Over (+)

Theorem/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 information

Logic and Boolean algebra

Logic 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 information

Practice Midterm Exam Solutions

Practice 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