CHAPTER-2 STRUCTURE OF BOOLEAN FUNCTION USING GATES, K-Map and Quine-McCluskey

Size: px
Start display at page:

Download "CHAPTER-2 STRUCTURE OF BOOLEAN FUNCTION USING GATES, K-Map and Quine-McCluskey"

Transcription

1 CHAPTER-2 STRUCTURE OF BOOLEAN FUNCTION USING GATES, K-Map and Quine-McCluskey 2. Introduction Logic gates are connected together to produce a specified output for certain specified combinations of input variables, with no storage involved, the resulting circuits is called combinational logic. In combinational logic the output variable are the all times dependent on the combination of input variables. A combinational circuit consists of input variables, logic gates and output variables the logic gates accept signals generate output signals. This process transforms binary information from the given input data to the required output [8]. The combinational circuits accept in input binary and generate output variables depending on the logical combination. Logic minimization uses a variety of techniques to obtain the simplest gatelevel implementation of a logic function. The heart of digital logic design is the Boolean algebra (Boole, 954). A few decades later C.E.Shannon showed how the Boolean algebra can be used in the design of digital circuits (Shannon, 938). Using Boolean laws it is possible to minimize digital logic circuits (Huntington, 94). Since minimization with the use of Boolean laws is neither systematic nor suitable for computer implementation, a number of algorithms were proposed in order to overcome the implementation issue [47][48]. Karnaugh proposed a technique for simplifying Boolean expressions using an elegant visual technique, which is actually a modified truth table intended to allow minimal sum-of products (SOP) and 6

2 product-of-sums (POS) expressions to be obtained (Karnaugh, 953). The Karnaugh Map (K-Map) based technique breaks down beyond six variables. The Quine- McCluskey (Q M) method is a computer-based technique for simplification and the modified Quine-McCluskey (M Q-M) method is a very simple and systematic technique for minimizing Boolean functions. To minimize a Boolean expression by simplifying the logic function, we can reduce the original number of digital components (gates) required to implement digital circuits. Therefore by reducing the number of gates, the chip size and the cost will be reduced, and the speed will be increased. Boolean algebra is constructed by connecting the Boolean constants and variables with the Boolean operations. These Boolean expressions are also known as Boolean formulas and we use Boolean expression to describe Boolean function. If the Boolean expression (A + B') C is used to describe the function f, then it is written as f (A, B, C) = (A + B') C or f = (A + B') C Based on the structure of Boolean expression it can be categorized in different formulas. One such categorization is the normal formulas. Let us consider the four variable Boolean functions. f (A, B, C, D) = A + B'C + ACD' In this Boolean function the variables are appeared either in a complemented or an uncomplemented form. Each occurrence of variables in either a complement or an uncomplimentary form is called a literal. Thus the above function consists of six literals they appear in the product of the terms. A product term is defined as either a literal or a product of literals three product terns namely AB'C and ACD' function. 7

3 f (A, B, C, D) = (B +D')(A + B' + C)(A'+ C) The above Boolean function consists of seven literals here they appear in the sum terms. A sum term is defined as either a literal a sum of literals. Three sum terms namely (B + D'), (A+ B'+C) and (A'+ C) the literals can be arranged in two ways Sum of product form (SOP) and Product of sum form (POS) 2.2 Sum of product forms The word sum and product are derived from the symbolic representation of the OR and AND function by + and. But we realize that these are not arithmetic operation in the usual sense. A product term is any group of literals that are AND together for example A, XY and so on. A sum term is any group of literals that are OR together. Such as A+B+C, X+Y and so on.. f (A, B, C) = A + A B'C' 2. f (P, Q, R, S) = P'Q + Q R +R S Each of these sums of products expressions consists of two or more product terms (AND) that are OR together each product tern consists of one or more literals appearing in either complemented or uncomplemented form. For example in the sum of products expression A + A B'C' the first product term contains literals A B and C in their uncomplemented form. The second product term contains literals B and C in their complemented form. The sum of product form is also known as disjunctive normal form or disjunctive normal formula. 8

4 2.3 Product of Sum forms A product of sums is any groups of sum terms AND together some examples of this form are:. f (A, B, C) = (A+ B) (B'+ C) 2. f (P, Q, R, S) = (P + Q). (R + S'). (P+ S) Each of the product sums expression consists of two or more sum terms (OR) that are ANDed together each sum term consists of one or more literals appearing in either complemented or uncomplemented form. The product of sum form is also known as conjunctive normal form or conjunctive normal formula Standard sop form or minterm canonical forms We can realize that in the sop from all the individual terms do not involve al literals. For example in expression AB +A' the first product terms do not contain literals C. If each term in SOP form contains all the literals then the sop form known as standard or canonical sop form. In the expression A' + A+ A' + AB'C, all the literals are present in each product terms in other words we can say that a sum of products is a standard sum of products if every product term involves every literals or its complement. One standard sum of products expression is: f (A, B, C) = AB'C+ A + A'' 2.4. Standard pos form or maxterm canonical forms If each term in pos form contains all the literals then the pos form is known as standard or canonical pos form. Each individual term in the standard pos is called maxterm. Therefore canonical pos form is also known as maxterm canonical form. In 9

5 other words we can say that a product of sums is a standard or canonical product of sums if every sum term involves every literals or its complement. One standard product of sums expression is f (A, B, C) = (A+B+C) + (A+B'+C) 2.5 Converting expressions in to standard sop or pos forms Sum of products form can be converted to standard sum of products by ANDing the terms in the expression with terms formed by ORing the literal and its complement which are not present in that term. For example for a three literal expressions with literals A, B and C, if there is a term AB, and C is missing, then we form term (C+C) and AND it with AB therefore we get AB (C+C') = A + A' Steps to convert sop to standard SOP form: Step : finding the missing literal in each product term. Step 2: AND each product term having missing literals with term form by ORing the literals and its complement. Step 3: Expanding the term by applying distributive law and reorder the literals the literals in the product terms. Step 4: Reduce the expression by omitting repeated product terms if any because A + A = A Illustration: Converting the given expression in standard sop form: 2

6 f (A, B, C) = AC + AB + Literals A is missing Literals C is missing Literals B is missing AND product term with missing literals + its complement f (A, B, C) = AC(B+B') + AB(C+ C') +(A+ A') Expand: f (A, B, C) =ACB + ACB' + A + A'+ A + A' RECORDER: f (A, B, C) = A + AB'C + A+ A'+A + A' 2.6 M- Notations (Minterms and Maxterms) Each individual term in standard SOP form is called minterm and each individual term in standard POS form is called maxterm the concept of minterms and maxterms allows us to introduce a very convenient shorthand notation to express logical function it gives the minterm and maxterm for a three literals variable logical function. Where the number of minterm as well as maxterms is 8. In general, for an n - variables logical function there are n minterm and an equal number of maxterm. As shown in Table 2. each minterm is represented by m i and each maxterm is represented as M i, where the subscript i is the decimal number equivalent of the natural binary number. With these shorthand notations logical function can be represented as follows: 2

7 . f (A, B, C) = A'B'C'+A'B'C+A'+A' = m o + m + m 3 + m 6 = m (,, 3, 6) Variables A B C Minterm(mi) A' B' C' = m o A' B' C = m A' B C' = m 2 A' B C = m 3 A B' C' = m 4 A B' C = m 5 A B C' = m 6 A B C = m 7 Maxterm(Mi) A + B + C = M A + B + C' = M A + B' + C = M 2 A + B' + C' = M 3 A' + B + C = M 4 A' + B + C' = M 5 A' + B' + C = M 6 A' + B' + C' = M 7 Table 2. Minterms and Maxterms for three variables 2. f (A, B, C) = (A + B + C') (A + B'+ C') (A' + B' + C) = M + M 3 + M 6 = M (, 3, 6,) The logical expression can be represented in the truth table form. To write logic expression in standard SOP or POS form corresponding to a given truth table. The logic expression corresponding to a given truth table can be written in a standard sum of products form by writing one product term for each input combination that produces an output of. These product terms are together to create the standard sum of products [23][24]. The product terms are expressed by writing complement of a variable when it appears as an input, and the variable itself appears as an input. Considering, the following truth table 2.2. The product corresponding to input 22

8 23 combination is A'', the product corresponding to input combination is A', and product corresponding to input combination is A. Thus the standard sum of product form is F (A, B, C) = A'' + A'+A' = m 2 +m 3 +m 6 A B C Y Table No.2.2. Minterms and Maxterms for three variables (m 2,m 3 and m 6 ) A B C Y Table No.2.3 Minterms and Maxterms for three variables (M 2 and M 5 )

9 The logic expression corresponding to a truth table can be also written in a standard product of sums form by writing one sum term output is. The sum terms are expressed by writing complement of a variable when it appears as an input and the variables itself when it appears as an input is as shown in table 2.3. The sum corresponding to input combination is A+ B'+C thus the standard product of sums corresponding to input is A'+B+C'. Thus the standard product of sums form is as follows, f (A, B, C) = (A+B'+C) (A'+B+C') = M 2 + M Karnaugh Map minimization The simplification or minimization of any digital circuit is an important activity in digital circuit design. To simplify the circuit, the designer tries to find another circuit that produces the same output as the original but with less number of gates. The main objective of this process is to keep the number of digital gates as minimum as possible and thus to get minimal cost solution. There are various methods of simplification such as Boolean algebra, Karnaugh maps, Tabulation method, Computer Aided Design etc. All these methods use the simplification of Boolean function that represents the digital logic. Another important point is that the K-Map simplification is manual technique and simplification process is heavily depends on the human abilities. To meet this requirement, W. V. Quine and E.J. McCluskey developed an exact tabular method to simplify the Boolean expressions. This method is called the Quine-McCluskey or tabular method. 24

10 Maurice Karnaugh developed the Karnaugh map in 953. This technique is quite easy and fast in comparison with Boolean algebra. Karnaugh maps work well for up to six input variables. A Karnaugh map consists of many arrays of rectangles or boxes arranged in rows and columns. The size of the Karnaugh map with n Boolean variables is equal to 2 n. The size for maps of 2 variables is a 2x2 map (four boxes), for 3 variables it is a 2x4 map, and for 4 variables it is a 4x4 map and so on. The Boolean variables are arranged in an order according to the principles of gray code where only one variable changes in adjacent squares. Each square represents a minterm (sometimes a maxterm) corresponding to the truth table. A minterm is a Boolean expression consisting of a product term of variables (or their complimented form). The minterms are identified by associating numbers to them like m, m,.m n. For simplifying an input expression, the adjacent minterms are identified and a group of 2 (Pair), 4 (Quad) or 8 (Octet) adjacent minterms are formed. The minterms can only form a group if they are adjacent horizontally and vertically and not diagonally. The groups should be as large as possible and overlapping of any minterm on two or more groups is allowed. Similarly the wrap around minterms is also allowed for forming a group. If a term and its compliment both appear in a group, delete both from the resultant product term. Finally the Boolean expression of the remaining terms can be obtained. For simplification of Boolean expression by Boolean algebra we need better understanding of Boolean laws, rules and theorems and during the process of simplification we have to predict each successive step. Boolean algebra alone is the simplest possible expression on the other hand the map method gives us a systematic 25

11 approach for simplifying a Boolean expression and the map method first proposed by veitch and modified by karnaugh hence it is known as the veitch diagram or the karnaugh map[48]. Product terms are assigned to the cells of a karnaugh map by labeling each row and each column of the map with a variable and its complement or with a combination of variables and complement. The product term corresponding to a given cell is then the product of all variables in the row and column, where the cells is located to label the rows and columns of a, 2, 3 and 4 variable map and the product terms corresponding to each cell. B' B B'C' B'C ' A' A' A' A'B' A'B A' A'B'C' A'B'C A' A'' A A A AB' AB A AB'C' AB'C A A' - Variable map (2 Cells) 2- Variable map (4 Cells) C'D' C'D CD CD' 3- Variable map (8 Cells) A'B' A'B'C'D' A'B'C'D A'B'CD A'B'CD' A'B A''D' A''D A'D A'D' AB A'D' A'D AD AD' AB' AB'C'D' AB'C'D AB'CD AB'CD' 4- Variable map Fig. 2. Outlines of, 2, 3 and 4 variable maps with product terms 26

12 From the above Fig 2., when we move from one cell to next along any row or from one cell to the next along any column only one variable in the product term changes. The only change that occurs in moving along the bottom row from AB to AB' is the change from B to B'. Similarly the only change that occurs in moving down the right columns along each row and column to the single change rule. The gray code has same properties; hence gray code is used to label the rows and columns of K-Map. 2.8 Grouping cells for simplification In the last section we have discussed representation of Boolean function on the karnaugh map. We have also seen that minterms are marked by s and maxterms are marked by s. Once the Boolean function is plot on the karnaugh map we have to use grouping technique to simplify the Boolean function. The grouping is nothing but combining terms in adjacent cells. Two cells are said to be adjacent if they conform the single change rule. The simplification is achieved by grouping adjacent s or s in grouping of 2I where I =,2.n and n is the number of variables. 2.9 Grouping two adjacent ones (pair) The karnaugh map contains a pair of s that are horizontal adjacent to each other. The equation shown below, the first term represents A' B' C and the second term represents A' B C. In these two terms only the B variable appears in both normal and complemented from. Thus these two terms can be combined to give a result that eliminates the B variable since it appears in both uncomplemented and complemented form. This can be proved as follows. Y = A'B'C + A'B C = A' C (B' + B) = A' C 27

13 This same principle holds true for any pair of vertically or horizontal adjacent s shows an example of two vertically adjacent s. These two can be combined to eliminate a variable since it appears in both its uncomplemented and complemented forms. This gives the result, Y= A'B C + A B C = B C A B'C' B'C ' A' A'C A Fig. 2.2 (a) Horizontal Adjacent 's A'C A B'C' B'C ' A' A Fig. 2.2 (b) Vertically Adjacent A A' B'C' B'C ' AC' A Fig. 2.2 (c) Adjacent Corners AC' 28

14 In a Karnaugh map the leftmost column and rightmost column are considered to be adjacent. Thus, the two s in these columns with a common row can be combined to eliminate one variable. This is illustrated in Fig 2.2. Here variable B has appeared in both its complemented and uncomplemented forms and hence eliminated as follows. The another illustration here two s from top row and bottom row of some column are combined to eliminate variables A, since in a K-Map the top row and bottom row are considered to be adjacent. Y = A B' C' + A B C' = A C'(B' + B) = A C' CD C'D' C'D CD CD' AB A'B' A'B AB AB' B'C'D Fig. 2.3 s Group B'C'D 29

15 Y = A' B' C' D + A B' C'D = B' C' D (A' + A) = B' C' D Group A' C A B'C' B'C A' ' A Group 2 Fig. 2.4 s Group of A'C& Y = A' B' C + A'B C + A B C = A' B' C + A' B C + A' B C + A B C = A' C (B' + B) + B C (A' + A) = A' C + B C Karnaugh map has two over lapping pairs of s in the map. Fig 2.4 shows that we can share one term between two pairs. Where three groups of pairs can be formed but only two pairs are enough to include all s present the K-Map in such case third pair is not required. Grouping four adjacent ones (Q quad) 3

16 In a K-Map we can group four adjacent s, the resultant group is called quad. Shows the four s are horizontal adjacent vertically adjacent. A K-Map contains four s in a square and they are considered adjacent to each other, also adjacent because as mentioned earlier the top and bottom rows are considered to be adjacent to each other and the leftmost and rightmost columns are also adjacent to each other. From the above K-Map we can notice that when a quad is combined two variables are eliminated thereby we have following terms with 4 variables. Thus overlapping groups as mentioned earlier one term can be shared between two or more groups. 2. Simplification of sum of product expression (minimal sums) We have discussed how combination of pair s quads and octets on a K-Map can be used to obtain a simplified expression. A pair of s eliminate one variable a quad of s eliminate two variables and an octets of s eliminates two variables three variables in general. When a variable appears in both complemented and uncomplemented from within a group that variables is eliminated from the resultant expression variables that are same in all with the group must appear in both final expression each group gives us a product term and summation of all product term implies the function and hence is an implicate of the function all the implicates of a function determined using a K-Map are the prime implicants. From the above discussion we can outline generalized procedure to simplify Boolean expression as follows.. Plot the K-Map and place s adjacent in those cells corresponding to the s in the truth table or sum of product expression place s in other cells. 3

17 2. Check the K-Map for adjacent s and encircles those s which are not adjacent to any other s these are called isolated s. 3. Check for those s which are adjacent to only and which are encircle such pairs. 4. Check for quads and octets of adjacent s even if it contain some s that have already been encircled while doing this make sure that there are minimum number of groups. 5. Combine any pairs necessary to include any s that have not yet been grouped. 6. Form the simplified expression by summation product terms of all groups. To verify the procedure, we consider the following expression. Minimize the expression Y = AB'C + A'B'C + A' + AB'C' + A'B'C' The following is the method: Step : K-Map to three variables and it is plotted according to the given expression. Step 2: There are no isolated s A A' B'C' B'C ' A Fig. 2.5 K-Map for three variables 32

18 Step3: in the cell 3 is adjacent to in the cell. Fig 2.6 pair is combined and referred to as group. Step 4: There are no octets but there is a quad cell,, 4 and 5 from a quad this quad is combined and referred to as group 2. A B'C' B'C ' A' A A' C Fig. 2.6 Group 2 Step 5: All s have already been grouped. Step 6: Each group generates a term in the expression for Y in group B variable is eliminated A and C are eliminated and we get, A'C A B'C' B'C ' A' B' A Fig. 2.7 Group Formation Y=A' C+B' 33

19 2. Essential prime implicants After grouping the cell the sum terms which appear in the k amp are called prime implicate group it is observe that some cells may appear in only one prime implicate group while other cells may appear in more than one prime implicant group these group cells, 4, 9, appear in only one prime implant group these cells are grouped these calls are called essential cells and corresponding prime implicate are called essential prime implicant. 2.2 Simplification of product of sums expression In the above discussion we have considered the Boolean expression in sum of products from and grouped 2, 4, and 8 adjacent ones to get the simplified Boolean expression in the in the same form in practice the designer should examine both the sum of products and product of sums reduction to assertion which is more simplified we have already seen the representation of products of sums on the k amp once the expression is plotted on K-Map once the expression is plotted on the K-Map of zero each of zero result a sum term and it is nothing but the prime implicate. The technique for using maps for POS reduction is simple step by step process.. Plot the ka map and place s in those cells corresponding to the s in the truth table or maxterm in the products of sum expression. 2. Checking the 3. K-Map for adjacent s and encircle s which are not adjacent to any other s these are called isolated s. 4. Check for those s which are adjacent to s to only other and encircle such pairs. Checking for quad and octets of adjacent s even if it contains some s that have already been encircled while doing this make sure there are minimum number of groups. 34

20 5. Combine any pairs necessary to include any s that have not yet been grouped 6. Form the simplified SOP expression for F by summing product terms of all the groups. (NOTE: The simplified expression is in the complemented form because we have grouped s to simplify the expression) 7. Use De Morgan s theorem on F to produce the simplified expression in POS form. example. To get familiar with these steps we will illustrate through the following Minimize the expression Y = (A + B + C') (A + B' + C') ( A'+ B'+ C') (A' + B + C) (A+B+C) Solution: (A + B + C') = M, ( A + B' + C') = M 3 ( A' + B' + C') =M 7 (A' + B + C) =M 4, (A + B + C) =M Step : Fig. 2.8 (a) shows the K-Map for three variables and it is plotted according to given maxterms. A' B'C' B'C ' A' A Fig. 2.8 (a) K-Map for three variables 35

21 Step 2: There are no isolated s. Step 3: in the cell 4 is adjacent only to and in the cell 7 is adjacent only to in the cell 3. These two pairs are combined and referred to as group and group 2 respectively shown in fig. 2.8(b). Step 4: There are no quads and octets. A A' B'C' B'C ' A Fig. 2.8 (b) Group and Group 2 Step 5: The in the cell can be combined with in the cell 3 to Form a pair. This pair is referred to as group 3. Step 6: In group and in group 2, A is eliminated, where as in Group 3 variable B is eliminated shown in fig. 2.8(c) and we get Y = + + AC A B'C' B'C A' ' A'C A B'C' Fig. 2.8 (c) Group 3 variable 36

22 Step 7: Y' = (B'C' + + A'C)' = (B'C')' ()' (A'C)' = (B' + C'') (B' + C') (A''+ C') = (B + C) (B' + C') (A + C') To directly write the expression for Y by using De Morgan s theorem for each minterm as follows: Y' = B'C' + +A'C Y= (B + C) (B' + C') (A + C') 2.3 Don t Care Conditions In some logic circuits, certain input conditions never occur, therefore the corresponding outputs never appears. In such cases the output level is not defined, it can be either HIGH or LOW. These output levels are indicated by X or d in the truth table 2.4 and are called don t care outputs or don t care conditions or incompletely specified functions. Let us see the output levels in the truth table are defined for input conditions from to. For remaining two conditions of input, output is not defined, hence these are called don t care conditions shown in this truth table 2.4. A circuit designer is free to make the output for any don t care condition either a or a in order to produce the simplest output expression. 37

23 A B C Y X X Table 2.4 Don t Care Conditions 38

24 2.3. Describing Incomplete Boolean Function We describe the Boolean function using either a minterm canonical formula or a maxterm canonical formula. In order to obtain similar type expressions for incomplete Boolean functions we use additional term to specify don t care conditions in the original expression. This is illustrated in the following examples. In expression, f (A, B, C) = M (, 2, 4) + d (, 5) minterms are, 2and 4. The additional term d (, 5) is introduced to specify the don t care conditions. These terms specifies that outputs for minterms and 5 are not specified and hence these are don t care conditions. Letter d is used to indicate don t care conditions in the expression. The above expression indicates how to represent don t care conditions in the minterm canonical formula. For example, f (A, B, C) = M (2, 5, 7) + d (, 3) Don t Care Conditions in Logic Design In this section, we see the incompletely specified Boolean function. Let us see the logic circuit for an even parity generator for 4-bit D number. The Table 2.5 shows the truth table for even-parity generator. The truth table shows that the output for last six input conditions cannot be specified, because such input conditions do not occur when input is in the D form. 39

25 A B C D P Table 2.5 Don t Care Conditions in Logic Design 4

26 2.4 Limitations of Karnaugh Map The map method of simplification is convenient as long as the number of variables does not exceed five to six. As the number of variables it is difficult to make judgments about which combinations form the minimum expression. In case of complex problem with 7, 8, of even variables it is almost an impossible task to simplify expression by mapping method. 2.5 Five Variable K-Map A 5-Variable K-Map requires 2 5 = 32 Cells, but adjacent cells are difficult to identify on a single 32-cell map. Therefore, two 6-cell K- maps are generally used. If the variables are A, B, C, D and E two identical 6-cell maps containing B, C, D and E can be constructed. One map is then used for A and the other for B as shown in Fig. 2.9(a) and Fig. 2.9(b) respectively. It is important to note that in order to identify the adjacent grouping in the five variable map, we must imagine the two maps superimposed on one another; not hinged or mirror imaged. Every cell in one map is adjacent to the corresponding cell in the other map, because only one variable changes between such corresponding cells. Thus, every row on one map is adjacent to the corresponding columns. Also, the rightmost and leftmost columns within each 6- cell map are adjacent, just as they are in any 6 cell map, as are the top and bottom rows. 4

27 A'B' DE C'D' C'D CD CD' 3 2 A'B AB AB' Fig. 2.9 (a) 6-Cells Map DE C'D' C'D CD CD' A'B' A'B AB AB' Fig. 2.9 (b) 32 Cells Map 42

28 2.6 Conclusion The digital circuits can be represented and analyzed using the Boolean functions. K-Map in fact a visual diagram of representing all possible ways a Boolean function may be expressed. Logic minimization uses a variety of techniques to obtain the simplest gate-level implementation of a logic function. The heart of digital logic design is the Boolean algebra and how the Boolean algebra can be used in the design of digital circuits. 43

Combinational Logic Circuits

Combinational Logic Circuits Chapter 3 Combinational Logic Circuits 12 Hours 24 Marks 3.1 Standard representation for logical functions Boolean expressions / logic expressions / logical functions are expressed in terms of logical

More information

Module -7. Karnaugh Maps

Module -7. Karnaugh Maps 1 Module -7 Karnaugh Maps 1. Introduction 2. Canonical and Standard forms 2.1 Minterms 2.2 Maxterms 2.3 Canonical Sum of Product or Sum-of-Minterms (SOM) 2.4 Canonical product of sum or Product-of-Maxterms(POM)

More information

2.6 BOOLEAN FUNCTIONS

2.6 BOOLEAN FUNCTIONS 2.6 BOOLEAN FUNCTIONS Binary variables have two values, either 0 or 1. A Boolean function is an expression formed with binary variables, the two binary operators AND and OR, one unary operator NOT, parentheses

More information

IT 201 Digital System Design Module II Notes

IT 201 Digital System Design Module II Notes IT 201 Digital System Design Module II Notes BOOLEAN OPERATIONS AND EXPRESSIONS Variable, complement, and literal are terms used in Boolean algebra. A variable is a symbol used to represent a logical quantity.

More information

Chapter 2. Boolean Expressions:

Chapter 2. Boolean Expressions: Chapter 2 Boolean Expressions: A Boolean expression or a function is an expression which consists of binary variables joined by the Boolean connectives AND and OR along with NOT operation. Any Boolean

More information

Chapter 3 Simplification of Boolean functions

Chapter 3 Simplification of Boolean functions 3.1 Introduction Chapter 3 Simplification of Boolean functions In this chapter, we are going to discuss several methods for simplifying the Boolean function. What is the need for simplifying the Boolean

More information

A B AB CD Objectives:

A B AB CD Objectives: Objectives:. Four variables maps. 2. Simplification using prime implicants. 3. "on t care" conditions. 4. Summary.. Four variables Karnaugh maps Minterms A A m m m3 m2 A B C m4 C A B C m2 m8 C C m5 C m3

More information

DKT 122/3 DIGITAL SYSTEM 1

DKT 122/3 DIGITAL SYSTEM 1 Company LOGO DKT 122/3 DIGITAL SYSTEM 1 BOOLEAN ALGEBRA (PART 2) Boolean Algebra Contents Boolean Operations & Expression Laws & Rules of Boolean algebra DeMorgan s Theorems Boolean analysis of logic circuits

More information

Bawar Abid Abdalla. Assistant Lecturer Software Engineering Department Koya University

Bawar Abid Abdalla. Assistant Lecturer Software Engineering Department Koya University Logic Design First Stage Lecture No.6 Boolean Algebra Bawar Abid Abdalla Assistant Lecturer Software Engineering Department Koya University Outlines Boolean Operations Laws of Boolean Algebra Rules of

More information

Points Addressed in this Lecture. Standard form of Boolean Expressions. Lecture 4: Logic Simplication & Karnaugh Map

Points Addressed in this Lecture. Standard form of Boolean Expressions. Lecture 4: Logic Simplication & Karnaugh Map Points Addressed in this Lecture Lecture 4: Logic Simplication & Karnaugh Map Professor Peter Cheung Department of EEE, Imperial College London Standard form of Boolean Expressions Sum-of-Products (SOP),

More information

BOOLEAN ALGEBRA. Logic circuit: 1. From logic circuit to Boolean expression. Derive the Boolean expression for the following circuits.

BOOLEAN ALGEBRA. Logic circuit: 1. From logic circuit to Boolean expression. Derive the Boolean expression for the following circuits. COURSE / CODE DIGITAL SYSTEMS FUNDAMENTAL (ECE 421) DIGITAL ELECTRONICS FUNDAMENTAL (ECE 422) BOOLEAN ALGEBRA Boolean Logic Boolean logic is a complete system for logical operations. It is used in countless

More information

Assignment (3-6) Boolean Algebra and Logic Simplification - General Questions

Assignment (3-6) Boolean Algebra and Logic Simplification - General Questions Assignment (3-6) Boolean Algebra and Logic Simplification - General Questions 1. Convert the following SOP expression to an equivalent POS expression. 2. Determine the values of A, B, C, and D that make

More information

4 KARNAUGH MAP MINIMIZATION

4 KARNAUGH MAP MINIMIZATION 4 KARNAUGH MAP MINIMIZATION A Karnaugh map provides a systematic method for simplifying Boolean expressions and, if properly used, will produce the simplest SOP or POS expression possible, known as the

More information

Gate Level Minimization Map Method

Gate Level Minimization Map Method Gate Level Minimization Map Method Complexity of hardware implementation is directly related to the complexity of the algebraic expression Truth table representation of a function is unique Algebraically

More information

Specifying logic functions

Specifying logic functions CSE4: Components and Design Techniques for Digital Systems Specifying logic functions Instructor: Mohsen Imani Slides from: Prof.Tajana Simunic and Dr.Pietro Mercati We have seen various concepts: Last

More information

Digital Logic Lecture 7 Gate Level Minimization

Digital Logic Lecture 7 Gate Level Minimization Digital Logic Lecture 7 Gate Level Minimization By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department Outline Introduction. K-map principles. Simplification using K-maps. Don t-care

More information

Get Free notes at Module-I One s Complement: Complement all the bits.i.e. makes all 1s as 0s and all 0s as 1s Two s Complement: One s complement+1 SIGNED BINARY NUMBERS Positive integers (including zero)

More information

DIGITAL CIRCUIT LOGIC UNIT 5: KARNAUGH MAPS (K-MAPS)

DIGITAL CIRCUIT LOGIC UNIT 5: KARNAUGH MAPS (K-MAPS) DIGITAL CIRCUIT LOGIC UNIT 5: KARNAUGH MAPS (K-MAPS) 1 Learning Objectives 1. Given a function (completely or incompletely specified) of three to five variables, plot it on a Karnaugh map. The function

More information

Unit-IV Boolean Algebra

Unit-IV Boolean Algebra Unit-IV Boolean Algebra Boolean Algebra Chapter: 08 Truth table: Truth table is a table, which represents all the possible values of logical variables/statements along with all the possible results of

More information

LSN 4 Boolean Algebra & Logic Simplification. ECT 224 Digital Computer Fundamentals. Department of Engineering Technology

LSN 4 Boolean Algebra & Logic Simplification. ECT 224 Digital Computer Fundamentals. Department of Engineering Technology LSN 4 Boolean Algebra & Logic Simplification Department of Engineering Technology LSN 4 Key Terms Variable: a symbol used to represent a logic quantity Compliment: the inverse of a variable Literal: a

More information

Summary. Boolean Addition

Summary. Boolean Addition Summary Boolean Addition In Boolean algebra, a variable is a symbol used to represent an action, a condition, or data. A single variable can only have a value of or 0. The complement represents the inverse

More information

Ch. 5 : Boolean Algebra &

Ch. 5 : Boolean Algebra & Ch. 5 : Boolean Algebra & Reduction elektronik@fisika.ui.ac.id Objectives Should able to: Write Boolean equations for combinational logic applications. Utilize Boolean algebra laws and rules for simplifying

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 2 Circuit Optimization Overview Part Gate Circuits and Boolean Equations Binary Logic and Gates Boolean Algebra Standard

More information

Chapter 2 Combinational

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

More information

Switching Theory And Logic Design UNIT-II GATE LEVEL MINIMIZATION

Switching Theory And Logic Design UNIT-II GATE LEVEL MINIMIZATION Switching Theory And Logic Design UNIT-II GATE LEVEL MINIMIZATION Two-variable k-map: A two-variable k-map can have 2 2 =4 possible combinations of the input variables A and B. Each of these combinations,

More information

Karnaugh Map (K-Map) Karnaugh Map. Karnaugh Map Examples. Ch. 2.4 Ch. 2.5 Simplification using K-map

Karnaugh Map (K-Map) Karnaugh Map. Karnaugh Map Examples. Ch. 2.4 Ch. 2.5 Simplification using K-map Karnaugh Map (K-Map) Ch. 2.4 Ch. 2.5 Simplification using K-map A graphical map method to simplify Boolean function up to 6 variables A diagram made up of squares Each square represents one minterm (or

More information

UNIT II. Circuit minimization

UNIT II. Circuit minimization UNIT II Circuit minimization The complexity of the digital logic gates that implement a Boolean function is directly related to the complexity of the algebraic expression from which the function is implemented.

More information

Experiment 4 Boolean Functions Implementation

Experiment 4 Boolean Functions Implementation Experiment 4 Boolean Functions Implementation Introduction: Generally you will find that the basic logic functions AND, OR, NAND, NOR, and NOT are not sufficient to implement complex digital logic functions.

More information

Switching Circuits & Logic Design

Switching Circuits & Logic Design Switching Circuits & Logic Design Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 23 5 Karnaugh Maps K-map Walks and Gray Codes http://asicdigitaldesign.wordpress.com/28/9/26/k-maps-walks-and-gray-codes/

More information

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

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

More information

X Y Z F=X+Y+Z

X Y Z F=X+Y+Z This circuit is used to obtain the compliment of a value. If X = 0, then X = 1. The truth table for NOT gate is : X X 0 1 1 0 2. OR gate : The OR gate has two or more input signals but only one output

More information

Combinational Logic Circuits Part III -Theoretical Foundations

Combinational Logic Circuits Part III -Theoretical Foundations Combinational Logic Circuits Part III -Theoretical Foundations Overview Simplifying Boolean Functions Algebraic Manipulation Karnaugh Map Manipulation (simplifying functions of 2, 3, 4 variables) Systematic

More information

A graphical method of simplifying logic

A graphical method of simplifying logic 4-5 Karnaugh Map Method A graphical method of simplifying logic equations or truth tables. Also called a K map. Theoretically can be used for any number of input variables, but practically limited to 5

More information

Experiment 3: Logic Simplification

Experiment 3: Logic Simplification Module: Logic Design Name:... University no:.. Group no:. Lab Partner Name: Mr. Mohamed El-Saied Experiment : Logic Simplification Objective: How to implement and verify the operation of the logical functions

More information

To write Boolean functions in their standard Min and Max terms format. To simplify Boolean expressions using Karnaugh Map.

To write Boolean functions in their standard Min and Max terms format. To simplify Boolean expressions using Karnaugh Map. 3.1 Objectives To write Boolean functions in their standard Min and Max terms format. To simplify Boolean expressions using. 3.2 Sum of Products & Product of Sums Any Boolean expression can be simplified

More information

Introduction. The Quine-McCluskey Method Handout 5 January 24, CSEE E6861y Prof. Steven Nowick

Introduction. The Quine-McCluskey Method Handout 5 January 24, CSEE E6861y Prof. Steven Nowick CSEE E6861y Prof. Steven Nowick The Quine-McCluskey Method Handout 5 January 24, 2013 Introduction The Quine-McCluskey method is an exact algorithm which finds a minimum-cost sum-of-products implementation

More information

Digital Logic Design (CEN-120) (3+1)

Digital Logic Design (CEN-120) (3+1) Digital Logic Design (CEN-120) (3+1) ASSISTANT PROFESSOR Engr. Syed Rizwan Ali, MS(CAAD)UK, PDG(CS)UK, PGD(PM)IR, BS(CE)PK HEC Certified Master Trainer (MT-FPDP) PEC Certified Professional Engineer (COM/2531)

More information

UNIT-4 BOOLEAN LOGIC. NOT Operator Operates on single variable. It gives the complement value of variable.

UNIT-4 BOOLEAN LOGIC. NOT Operator Operates on single variable. It gives the complement value of variable. UNIT-4 BOOLEAN LOGIC Boolean algebra is an algebra that deals with Boolean values((true and FALSE). Everyday we have to make logic decisions: Should I carry the book or not?, Should I watch TV or not?

More information

Switching Circuits Simplifications Using Binary Coded Octal Minterms

Switching Circuits Simplifications Using Binary Coded Octal Minterms Vol. 2, No. 2, pp. 45-51, 2017 OI: http://ijoaem.org/00202-04 Switching Circuits Simplifications Using Binary Coded Octal Minterms Sahadev Roy Abstract In this paper, a simple approach for detection of

More information

3.4 QUINE MCCLUSKEY METHOD 73. f(a, B, C, D, E)¼AC ĒþB CD þ BCDþĀBD.

3.4 QUINE MCCLUSKEY METHOD 73. f(a, B, C, D, E)¼AC ĒþB CD þ BCDþĀBD. 3.4 QUINE MCCLUSKEY METHOD 73 FIGURE 3.22 f(a, B, C, D, E)¼B CD þ BCD. FIGURE 3.23 f(a, B, C, D, E)¼AC ĒþB CD þ BCDþĀBD. A¼1map are, 1, and 1, respectively, whereas the corresponding entries in the A¼0

More information

Combinational Logic & Circuits

Combinational Logic & Circuits Week-I Combinational Logic & Circuits Spring' 232 - Logic Design Page Overview Binary logic operations and gates Switching algebra Algebraic Minimization Standard forms Karnaugh Map Minimization Other

More information

CSCI 220: Computer Architecture I Instructor: Pranava K. Jha. Simplification of Boolean Functions using a Karnaugh Map

CSCI 220: Computer Architecture I Instructor: Pranava K. Jha. Simplification of Boolean Functions using a Karnaugh Map CSCI 22: Computer Architecture I Instructor: Pranava K. Jha Simplification of Boolean Functions using a Karnaugh Map Q.. Plot the following Boolean function on a Karnaugh map: f(a, b, c, d) = m(, 2, 4,

More information

ENGINEERS ACADEMY. 7. Given Boolean theorem. (a) A B A C B C A B A C. (b) AB AC BC AB BC. (c) AB AC BC A B A C B C.

ENGINEERS ACADEMY. 7. Given Boolean theorem. (a) A B A C B C A B A C. (b) AB AC BC AB BC. (c) AB AC BC A B A C B C. Digital Electronics Boolean Function QUESTION BANK. The Boolean equation Y = C + C + C can be simplified to (a) (c) A (B + C) (b) AC (d) C. The Boolean equation Y = (A + B) (A + B) can be simplified to

More information

Simplification of Boolean Functions

Simplification of Boolean Functions COM111 Introduction to Computer Engineering (Fall 2006-2007) NOTES 5 -- page 1 of 5 Introduction Simplification of Boolean Functions You already know one method for simplifying Boolean expressions: Boolean

More information

TWO-LEVEL COMBINATIONAL LOGIC

TWO-LEVEL COMBINATIONAL LOGIC TWO-LEVEL COMBINATIONAL LOGIC OVERVIEW Canonical forms To-level simplification Boolean cubes Karnaugh maps Quine-McClusky (Tabulation) Method Don't care terms Canonical and Standard Forms Minterms and

More information

Gate-Level Minimization. BME208 Logic Circuits Yalçın İŞLER

Gate-Level Minimization. BME208 Logic Circuits Yalçın İŞLER Gate-Level Minimization BME28 Logic Circuits Yalçın İŞLER islerya@yahoo.com http://me.islerya.com Complexity of Digital Circuits Directly related to the complexity of the algebraic expression we use to

More information

Combinational Logic Circuits

Combinational Logic Circuits Chapter 2 Combinational Logic Circuits J.J. Shann (Slightly trimmed by C.P. Chung) Chapter Overview 2-1 Binary Logic and Gates 2-2 Boolean Algebra 2-3 Standard Forms 2-4 Two-Level Circuit Optimization

More information

Gate Level Minimization

Gate Level Minimization Gate Level Minimization By Dr. M. Hebaishy Digital Logic Design Ch- Simplifying Boolean Equations Example : Y = AB + AB Example 2: = B (A + A) T8 = B () T5 = B T Y = A(AB + ABC) = A (AB ( + C ) ) T8 =

More information

CMPE223/CMSE222 Digital Logic

CMPE223/CMSE222 Digital Logic CMPE223/CMSE222 Digital Logic Optimized Implementation of Logic Functions: Strategy for Minimization, Minimum Product-of-Sums Forms, Incompletely Specified Functions Terminology For a given term, each

More information

Simplification of Boolean Functions

Simplification of Boolean Functions Simplification of Boolean Functions Contents: Why simplification? The Map Method Two, Three, Four and Five variable Maps. Simplification of two, three, four and five variable Boolean function by Map method.

More information

ELCT201: DIGITAL LOGIC DESIGN

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

More information

Date Performed: Marks Obtained: /10. Group Members (ID):. Experiment # 04. Boolean Expression Simplification and Implementation

Date Performed: Marks Obtained: /10. Group Members (ID):. Experiment # 04. Boolean Expression Simplification and Implementation Name: Instructor: Engr. Date Performed: Marks Obtained: /10 Group Members (ID):. Checked By: Date: Experiment # 04 Boolean Expression Simplification and Implementation OBJECTIVES: To understand the utilization

More information

Combinational Circuits Digital Logic (Materials taken primarily from:

Combinational Circuits Digital Logic (Materials taken primarily from: Combinational Circuits Digital Logic (Materials taken primarily from: http://www.facstaff.bucknell.edu/mastascu/elessonshtml/eeindex.html http://www.cs.princeton.edu/~cos126 ) Digital Systems What is a

More information

Computer Science. Unit-4: Introduction to Boolean Algebra

Computer Science. Unit-4: Introduction to Boolean Algebra Unit-4: Introduction to Boolean Algebra Learning Objective At the end of the chapter students will: Learn Fundamental concepts and basic laws of Boolean algebra. Learn about Boolean expression and will

More information

Lecture 5. Chapter 2: Sections 4-7

Lecture 5. Chapter 2: Sections 4-7 Lecture 5 Chapter 2: Sections 4-7 Outline Boolean Functions What are Canonical Forms? Minterms and Maxterms Index Representation of Minterms and Maxterms Sum-of-Minterm (SOM) Representations Product-of-Maxterm

More information

EECS150 Homework 2 Solutions Fall ) CLD2 problem 2.2. Page 1 of 15

EECS150 Homework 2 Solutions Fall ) CLD2 problem 2.2. Page 1 of 15 1.) CLD2 problem 2.2 We are allowed to use AND gates, OR gates, and inverters. Note that all of the Boolean expression are already conveniently expressed in terms of AND's, OR's, and inversions. Thus,

More information

Chapter 3. Gate-Level Minimization. Outlines

Chapter 3. Gate-Level Minimization. Outlines Chapter 3 Gate-Level Minimization Introduction The Map Method Four-Variable Map Five-Variable Map Outlines Product of Sums Simplification Don t-care Conditions NAND and NOR Implementation Other Two-Level

More information

1. Mark the correct statement(s)

1. Mark the correct statement(s) 1. Mark the correct statement(s) 1.1 A theorem in Boolean algebra: a) Can easily be proved by e.g. logic induction b) Is a logical statement that is assumed to be true, c) Can be contradicted by another

More information

CS470: Computer Architecture. AMD Quad Core

CS470: Computer Architecture. AMD Quad Core CS470: Computer Architecture Yashwant K. Malaiya, Professor malaiya@cs.colostate.edu AMD Quad Core 1 Architecture Layers Building blocks Gates, flip-flops Functional bocks: Combinational, Sequential Instruction

More information

WWW-BASED BOOLEAN FUNCTION MINIMIZATION

WWW-BASED BOOLEAN FUNCTION MINIMIZATION Int. J. Appl. Math. Comput. Sci., 2003, Vol. 13, No. 4, 577 583 WWW-BASED BOOLEAN FUNCTION MINIMIZATION SEBASTIAN P. TOMASZEWSKI, ILGAZ U. CELIK GEORGE E. ANTONIOU BAE SYSTEMS Controls 600 Main Street,

More information

CprE 281: Digital Logic

CprE 281: Digital Logic CprE 28: Digital Logic Instructor: Alexander Stoytchev http://www.ece.iastate.edu/~alexs/classes/ Minimization CprE 28: Digital Logic Iowa State University, Ames, IA Copyright Alexander Stoytchev Administrative

More information

Chapter 2 Combinational Logic Circuits

Chapter 2 Combinational Logic Circuits Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 2 Circuit Optimization Charles Kime & Thomas Kaminski 2008 Pearson Education, Inc. (Hyperlinks are active in View Show

More information

Literal Cost F = BD + A B C + A C D F = BD + A B C + A BD + AB C F = (A + B)(A + D)(B + C + D )( B + C + D) L = 10

Literal Cost F = BD + A B C + A C D F = BD + A B C + A BD + AB C F = (A + B)(A + D)(B + C + D )( B + C + D) L = 10 Circuit Optimization Goal: To obtain the simplest implementation for a given function Optimization is a more formal approach to simplification that is performed using a specific procedure or algorithm

More information

ELCT201: DIGITAL LOGIC DESIGN

ELCT201: DIGITAL LOGIC DESIGN ELCT201: DIGITAL LOGIC DESIGN Dr. Eng. Haitham Omran, haitham.omran@guc.edu.eg Dr. Eng. Wassim Alexan, wassim.joseph@guc.edu.eg Lecture 3 Following the slides of Dr. Ahmed H. Madian محرم 1439 ه Winter

More information

NH 67, Karur Trichy Highways, Puliyur C.F, Karur District DEPARTMENT OF INFORMATION TECHNOLOGY CS 2202 DIGITAL PRINCIPLES AND SYSTEM DESIGN

NH 67, Karur Trichy Highways, Puliyur C.F, Karur District DEPARTMENT OF INFORMATION TECHNOLOGY CS 2202 DIGITAL PRINCIPLES AND SYSTEM DESIGN NH 67, Karur Trichy Highways, Puliyur C.F, 639 114 Karur District DEPARTMENT OF INFORMATION TECHNOLOGY CS 2202 DIGITAL PRINCIPLES AND SYSTEM DESIGN UNIT 1 BOOLEAN ALGEBRA AND LOGIC GATES Review of binary

More information

CS8803: Advanced Digital Design for Embedded Hardware

CS8803: Advanced Digital Design for Embedded Hardware CS883: Advanced Digital Design for Embedded Hardware Lecture 2: Boolean Algebra, Gate Network, and Combinational Blocks Instructor: Sung Kyu Lim (limsk@ece.gatech.edu) Website: http://users.ece.gatech.edu/limsk/course/cs883

More information

Gate-Level Minimization. section instructor: Ufuk Çelikcan

Gate-Level Minimization. section instructor: Ufuk Çelikcan Gate-Level Minimization section instructor: Ufuk Çelikcan Compleity of Digital Circuits Directly related to the compleity of the algebraic epression we use to build the circuit. Truth table may lead to

More information

Introduction to Computer Architecture

Introduction to Computer Architecture Boolean Operators The Boolean operators AND and OR are binary infix operators (that is, they take two arguments, and the operator appears between them.) A AND B D OR E We will form Boolean Functions of

More information

Introduction to Microprocessors and Digital Logic (ME262) Boolean Algebra and Logic Equations. Spring 2011

Introduction to Microprocessors and Digital Logic (ME262) Boolean Algebra and Logic Equations. Spring 2011 Introduction to Microprocessors and Digital (ME262) lgebra and Spring 2 Outline. lgebra 2. 3. Karnaugh Maps () 4. Two-variable 5. 6. 7. 2 lgebra s of Simplifying equations are defined in terms of inary

More information

Class Subject Code Subject Prepared By Lesson Plan for Time: Lesson. No 1.CONTENT LIST: Introduction to UnitI 2. SKILLS ADDRESSED: Listening I year, 02 sem CS6201 Digital Principles & System Design S.Seedhanadevi

More information

Boolean Analysis of Logic Circuits

Boolean Analysis of Logic Circuits Course: B.Sc. Applied Physical Science (Computer Science) Year & Sem.: IInd Year, Sem - IIIrd Subject: Computer Science Paper No.: IX Paper Title: Computer System Architecture Lecture No.: 7 Lecture Title:

More information

Gate-Level Minimization

Gate-Level Minimization Gate-Level Minimization ( 范倫達 ), Ph. D. Department of Computer Science National Chiao Tung University Taiwan, R.O.C. Fall, 2011 ldvan@cs.nctu.edu.tw http://www.cs.nctu.edu.tw/~ldvan/ Outlines The Map Method

More information

University of Technology

University of Technology University of Technology Lecturer: Dr. Sinan Majid Course Title: microprocessors 4 th year Lecture 5 & 6 Minimization with Karnaugh Maps Karnaugh maps lternate way of representing oolean function ll rows

More information

MODULE 5 - COMBINATIONAL LOGIC

MODULE 5 - COMBINATIONAL LOGIC Introduction to Digital Electronics Module 5: Combinational Logic 1 MODULE 5 - COMBINATIONAL LOGIC OVERVIEW: For any given combination of input binary bits or variables, the logic will have a specific

More information

ECE380 Digital Logic

ECE380 Digital Logic ECE38 Digital Logic Optimized Implementation of Logic Functions: Strategy for Minimization, Minimum Product-of-Sums Forms, Incompletely Specified Functions Dr. D. J. Jackson Lecture 8- Terminology For

More information

Review: Standard forms of expressions

Review: Standard forms of expressions Karnaugh maps Last time we saw applications of Boolean logic to circuit design. The basic Boolean operations are AND, OR and NOT. These operations can be combined to form complex expressions, which can

More information

Chapter 2 Boolean algebra and Logic Gates

Chapter 2 Boolean algebra and Logic Gates Chapter 2 Boolean algebra and Logic Gates 2. Introduction In working with logic relations in digital form, we need a set of rules for symbolic manipulation which will enable us to simplify complex expressions

More information

Menu. Algebraic Simplification - Boolean Algebra EEL3701 EEL3701. MSOP, MPOS, Simplification

Menu. Algebraic Simplification - Boolean Algebra EEL3701 EEL3701. MSOP, MPOS, Simplification Menu Minterms & Maxterms SOP & POS MSOP & MPOS Simplification using the theorems/laws/axioms Look into my... 1 Definitions (Review) Algebraic Simplification - Boolean Algebra Minterms (written as m i ):

More information

R.M.D. ENGINEERING COLLEGE R.S.M. Nagar, Kavaraipettai

R.M.D. ENGINEERING COLLEGE R.S.M. Nagar, Kavaraipettai L T P C R.M.D. ENGINEERING COLLEGE R.S.M. Nagar, Kavaraipettai- 601206 DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING EC8392 UNIT - I 3 0 0 3 OBJECTIVES: To present the Digital fundamentals, Boolean

More information

3.3 Hardware Karnaugh Maps

3.3 Hardware Karnaugh Maps 2P P = P = 3.3 Hardware UIntroduction A Karnaugh map is a graphical method of Boolean logic expression reduction. A Boolean expression can be reduced to its simplest form through the 4 simple steps involved

More information

MUX using Tri-State Buffers. Chapter 2 - Part 2 1

MUX using Tri-State Buffers. Chapter 2 - Part 2 1 MUX using Tri-State Buffers Chapter 2 - Part 2 Systematic Simplification A Prime Implicant is a product term obtained by combining the maximum possible number of adjacent squares in the map into a rectangle

More information

SYNERGY INSTITUTE OF ENGINEERING & TECHNOLOGY,DHENKANAL LECTURE NOTES ON DIGITAL ELECTRONICS CIRCUIT(SUBJECT CODE:PCEC4202)

SYNERGY INSTITUTE OF ENGINEERING & TECHNOLOGY,DHENKANAL LECTURE NOTES ON DIGITAL ELECTRONICS CIRCUIT(SUBJECT CODE:PCEC4202) Lecture No:5 Boolean Expressions and Definitions Boolean Algebra Boolean Algebra is used to analyze and simplify the digital (logic) circuits. It uses only the binary numbers i.e. 0 and 1. It is also called

More information

10EC33: DIGITAL ELECTRONICS QUESTION BANK

10EC33: DIGITAL ELECTRONICS QUESTION BANK 10EC33: DIGITAL ELECTRONICS Faculty: Dr.Bajarangbali E Examination QuestionS QUESTION BANK 1. Discuss canonical & standard forms of Boolean functions with an example. 2. Convert the following Boolean function

More information

(Refer Slide Time 6:48)

(Refer Slide Time 6:48) Digital Circuits and Systems Prof. S. Srinivasan Department of Electrical Engineering Indian Institute of Technology Madras Lecture - 8 Karnaugh Map Minimization using Maxterms We have been taking about

More information

Digital Techniques. Lecture 1. 1 st Class

Digital Techniques. Lecture 1. 1 st Class Digital Techniques Lecture 1 1 st Class Digital Techniques Digital Computer and Digital System: Digital computer is a part of digital system, it based on binary system. A block diagram of digital computer

More information

Synthesis 1. 1 Figures in this chapter taken from S. H. Gerez, Algorithms for VLSI Design Automation, Wiley, Typeset by FoilTEX 1

Synthesis 1. 1 Figures in this chapter taken from S. H. Gerez, Algorithms for VLSI Design Automation, Wiley, Typeset by FoilTEX 1 Synthesis 1 1 Figures in this chapter taken from S. H. Gerez, Algorithms for VLSI Design Automation, Wiley, 1998. Typeset by FoilTEX 1 Introduction Logic synthesis is automatic generation of circuitry

More information

Incompletely Specified Functions with Don t Cares 2-Level Transformation Review Boolean Cube Karnaugh-Map Representation and Methods Examples

Incompletely Specified Functions with Don t Cares 2-Level Transformation Review Boolean Cube Karnaugh-Map Representation and Methods Examples Lecture B: Logic Minimization Incompletely Specified Functions with Don t Cares 2-Level Transformation Review Boolean Cube Karnaugh-Map Representation and Methods Examples Incompletely specified functions

More information

Gate-Level Minimization

Gate-Level Minimization Gate-Level Minimization ( 范倫達 ), 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 The Map Method

More information

DIGITAL TECHNICS. Dr. Bálint Pődör. Óbuda University, Microelectronics and Technology Institute 2. LECTURE: LOGIC NETWORK MINIMIZATION 2016/2017

DIGITAL TECHNICS. Dr. Bálint Pődör. Óbuda University, Microelectronics and Technology Institute 2. LECTURE: LOGIC NETWORK MINIMIZATION 2016/2017 27.2.2. DIGITAL TECHNICS Dr. Bálint Pődör Óbuda University, Microelectronics and Technology Institute 2. LECTURE: LOGIC NETWORK MINIMIZATION 26/27 2. LECTURE: CONTENTS. Canonical forms of Boolean functions

More information

2.1 Binary Logic and Gates

2.1 Binary Logic and Gates 1 EED2003 Digital Design Presentation 2: Boolean Algebra Asst. Prof.Dr. Ahmet ÖZKURT Asst. Prof.Dr Hakkı T. YALAZAN Based on the Lecture Notes by Jaeyoung Choi choi@comp.ssu.ac.kr Fall 2000 2.1 Binary

More information

2. BOOLEAN ALGEBRA 2.1 INTRODUCTION

2. BOOLEAN ALGEBRA 2.1 INTRODUCTION 2. BOOLEAN ALGEBRA 2.1 INTRODUCTION In the previous chapter, we introduced binary numbers and binary arithmetic. As you saw in binary arithmetic and in the handling of floating-point numbers, there is

More information

S1 Teknik Telekomunikasi Fakultas Teknik Elektro FEH2H3 2016/2017

S1 Teknik Telekomunikasi Fakultas Teknik Elektro FEH2H3 2016/2017 S1 Teknik Telekomunikasi Fakultas Teknik Elektro FEH2H3 2016/2017 Karnaugh Map Karnaugh maps Last time we saw applications of Boolean logic to circuit design. The basic Boolean operations are AND, OR and

More information

Code No: 07A3EC03 Set No. 1

Code No: 07A3EC03 Set No. 1 Code No: 07A3EC03 Set No. 1 II B.Tech I Semester Regular Examinations, November 2008 SWITCHING THEORY AND LOGIC DESIGN ( Common to Electrical & Electronic Engineering, Electronics & Instrumentation Engineering,

More information

Philadelphia University Faculty of Information Technology Department of Computer Science. Computer Logic Design. By Dareen Hamoudeh.

Philadelphia University Faculty of Information Technology Department of Computer Science. Computer Logic Design. By Dareen Hamoudeh. Philadelphia University Faculty of Information Technology Department of Computer Science Computer Logic Design By Dareen Hamoudeh Dareen Hamoudeh 1 Canonical Forms (Standard Forms of Expression) Minterms

More information

Chapter 2: Combinational Systems

Chapter 2: Combinational Systems Uchechukwu Ofoegbu Chapter 2: Combinational Systems Temple University Adapted from Alan Marcovitz s Introduction to Logic and Computer Design Riddle Four switches can be turned on or off. One is the switch

More information

VALLIAMMAI ENGINEERING COLLEGE. SRM Nagar, Kattankulathur DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING EC6302 DIGITAL ELECTRONICS

VALLIAMMAI ENGINEERING COLLEGE. SRM Nagar, Kattankulathur DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING EC6302 DIGITAL ELECTRONICS VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur-603 203 DEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING EC6302 DIGITAL ELECTRONICS YEAR / SEMESTER: II / III ACADEMIC YEAR: 2015-2016 (ODD

More information

Chapter 6. Logic Design Optimization Chapter 6

Chapter 6. Logic Design Optimization Chapter 6 Chapter 6 Logic Design Optimization Chapter 6 Optimization The second part of our design process. Optimization criteria: Performance Size Power Two-level Optimization Manipulating a function until it is

More information

Outcomes. Unit 9. Logic Function Synthesis KARNAUGH MAPS. Implementing Combinational Functions with Karnaugh Maps

Outcomes. Unit 9. Logic Function Synthesis KARNAUGH MAPS. Implementing Combinational Functions with Karnaugh Maps .. Outcomes Unit I can use Karnaugh maps to synthesize combinational functions with several outputs I can determine the appropriate size and contents of a memory to implement any logic function (i.e. truth

More information

Announcements. Chapter 2 - Part 1 1

Announcements. Chapter 2 - Part 1 1 Announcements If you haven t shown the grader your proof of prerequisite, please do so by 11:59 pm on 09/05/2018 (Wednesday). I will drop students that do not show us the prerequisite proof after this

More information

ADAPTIVE MAP FOR SIMPLIFYING BOOLEAN EXPRESSIONS

ADAPTIVE MAP FOR SIMPLIFYING BOOLEAN EXPRESSIONS ABSTRACT ADAPTIVE MAP FOR SIMPLIFYING BOOLEAN EXPRESSIONS Dr. Mohammed H. AL-Jammas Department of Computer and Information Engineering, College of Electronics Engineering, University of Mosul, Mosul -

More information