Introduction to Computer Architecture
|
|
- Joel Lang
- 6 years ago
- Views:
Transcription
1 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 these by setting them equal to a result variable, f. f AND = A AND B f OR = D OR E They are formally defined by specifying the Truth Table associated with them. A truth table is a table in which all possible combinations of values for the arguments (sometimes called inputs, for reasons which will become clear later) are listed, and the value of the function (result, or output) for each combination is given. Since these are binary operators, there are two arguments, each of which can take on only the values of T or F, so that there are only a total of four possible combinations of values. Thus there are only four rows in the truth table, which is Arguments Result A B f AND F F F F T F T F F T T T This truth table defines the AND function by specifying that the result of the function is TRUE only if both of the arguments are TRUE. This should be intuitively make sense. In words, if A is TRUE AND B is TRUE, then f AND is TRUE, otherwise f AND is FALSE. Alternatively, it is sometimes useful to interpret the table as saying if either A is FALSE or B is FALSE, then f AND is FALSE, otherwise it is TRUE. In an identical fashion, the OR function, f OR, is defined by the truth table A B f OR 1
2 F F F F T T T F T T T T This truth table defines the OR function by specifying that the result of the function is TRUE whenever either of the arguments is TRUE. This should be intuitively make sense. In words, if A is TRUE OR B is TRUE, then f OR is TRUE, otherwise f OR is FALSE. Alternatively, it is sometimes useful to interpret the table as saying if both A is FALSE AND B is FALSE, then f OR is FALSE, otherwise it is TRUE. Notice that the OR function includes the case, and is TRUE, when both rguments are TRUE; for this reason it is sometimes referred to as the inclusive OR. We will discuss the exclusive OR shortly. The Boolean operator NOT is a monadic prefix operator, meaning it takes just one argument, and the operator precedes the argument. NOT A The corresponding function is f NOT = NOT A and the truth table is given as A F T f NOT T F That is, f NOT is the complement of A. We will now introduce some symbolism to make writing Boolean expressions more compact and easier to read (trust me). The AND and OR functions are represented by many different symbols in the literature, usually depending on the context of the discussion. For instance the following symbols are often used for the AND function:,, and. The symbols,, and + are frequently used for OR, and ~,, or an overbar are used for NOT. In what follows we will use the following: 2
3 A AND B will be given by A B or AB A OR B will be given by A+B NOT A will be given by A In addition, FALSE, or F, will be given by the binary digit 0 TRUE, or T will be given by the binary digit 1 Rewriting the truth tables above in this symbolism gives A B AB A B A+B A A Boolean Expressions A Boolean expression is any combination of Boolean variables, constants and operators. E.g. AB + C(A+BC) + BC [B1] Such an expression has a value (0 or 1) only when all of the variables are assigned values of either 0 or 1. Of course, the order in which the operations are done must be correct. This is determined, just as with arithmetic expressions, using a predefined order of precedence, modified by parentheses if necessary. Boolean expressions are evaluated left to right, with expressions within parentheses being evaluated first. Among the AND, OR and NOT operators, the order of precedence is NOT, AND, OR. Thus, in the above expression, A+BC is evaluated first (within parentheses), than the complement of that part of the expression is evaluated. Then the ANDs are evaluated, and finally, the outermost ORs are evaluated. Suppose, in this example, values are assigned to the variables thusly: A=1, B=0, and C=1. Then the value of expression [B1] will be 1. We will show how this is arrived at later. Without assigning values to the variables, there are still many important jobs that may need to be done with such expressions, including, as stated above, proving different Boolean Expressions equivalent, or simplifying them. 3
4 For example a) Simplify AB+AB C = AB+AC We will present two methods for simplification later. b) Prove ABC+ ABC +AB C is equivalent to AB + AC It is clear that a Boolean expression is not unique - there are many Boolean expressions which will evaluate to the same result for the same assignment of variable values. Such expressions are called equivalent. Truth Tables Just as with the fundamental functions AND, OR and NOT, any Boolean Expression can be fully described by its truth table. The expression [B1] has the following truth table (let s call the expression f B1 ) A B C f B Notice that if there are n variables in the expression, then its truth table must have 2 n rows, since this is the total number of ways 1's and 0's can be assigned to the variables. Two Boolean Expressions are equivalent if they have the exact same truth table - that is, the 1's in the f column of the truth table are in the exact same rows. Determining the Boolean Expression given the Truth table Consider the following truth table: A B f
5 The algebraic Boolean expression is determined as follows: 1. Consider only the rows where f = 1 2. For each such row, write a term containing all the variables; if the value of a variable in the row is 1, write the variable; if the value is 0, write the variable complemented. 3. The final expression is generated by taking the OR of all the terms generated in step 2. In the current example, only the first and fourth rows have 1's. From the first row we create the term A B (both variables have the value 0 in this row, so we use the complement of both variables.) Similarly, from the fourth row we get the term AB. The final expression, ORing these two terms together is Consider another example: f = A B + AB A B C f The Boolean expression corresponding to this table is f = A BC +A BC+AB C +AB C [B2] Any Boolean expression which is expressed as the OR of ANDs, as is [B2], is said to be in Sum of Products form. If, in addition, every one of the ANDs contains every variable, the form is a canonical one called the Disjunctive Normal Form (DNF). The method of generating Boolean expressions from truth tables just shown always produces the expression s DNF. Each term in [B2] is called a minterm. An alternative but equivalent expression from the same truth table can be expressed in a Product of Sums form f = (A+B+C)(A+B+C )(A +B +C)(A +B +C ) [B3] 5
6 Again, if every sum term in the expression contains all variables, then we have another canonical form called the Conjunctive Normal Form (CNF). Each term in [B3] is called a maxterm. As stated earlier, Boolean expressions are not unique for any given function. Note, for example, that the function [B2] could also be given (in sum of products form, but not DNF as) f = AB + A B (and yes, the variable C is not needed; that is, the value of C has no effect upon the value of f. Such terms are referred to as Don t Cares ) Practice problems - Deriving Boolean Expressions From Truth Tables: What is the Boolean expression for the following truth tables? 1. A B f b. A B C f Some Interesting Facts 1. There are 2 n minterms for a function of n variables. For instance, there are 2 2 =4 minterms of two variables: AB, AB, A B, A B and 2 3 = 8 minterms of 3 variables: ABC, ABC, AB C, AB C, A BC, A BC, A B C, A B C 6
7 2. All Boolean expressions of n variables can be found by taking all possible subsets of the minterms that exist for n variables. Thus, there are 2^2 n functions of n variables. For two variables, there are 2^2 2 = 16 functions, all of which are shown (in DNF form) here: f 0 =0 (no minterms), f 1 = AB f 2 = AB f 3 = A B f 4 = A B f 5 = AB + AB f 6 = AB + A B f 7 = AB + A B f 8 = AB + A B f 9 = AB + A B f 10 = A B + A B f 11 = AB + AB + A B f 12 = AB + AB + A B f 13 = AB + A B + A B f 14 = AB + A B + A B f 15 = AB + AB + A B + A B = 1 Note that f = 0 when no minterms are present and f = 1 when all minterms are present. 3. If f is represented in DNF form (such as all the examples in 2 above) then f is represented by all those terms not present in f. Examples: If f 5 = AB + AB then f 5 = A B + A B = f 10 If f = ABC + ABC + A B C then f = AB C + A BC + AB C + A BC + A B C In terms of a truth table, if f is the sum of all the minterms with a 1 in the f column, then f is the sum of all the minterms with a 0 in the f column. Practice Problems - Facts 1. How many minterms exist for a Boolean space of 5 variables? 2. How many possible Boolean functions of 4 variables are there? 3. List all minterms for a Boolean space of 1 variable. 4. List all functions for a boolean space of 1 variable 5. If f = A B, what is the DNF for f? Algebraic Rules of 7
8 Determining the equivalence of two Boolean expressions can be done algebraically as well as by using truth tables, assuming that we know the rules, postulates and theorems, of. In addition we can use such rules to simplify Boolean expressions, and to take arbitrary Boolean expressions and put them in canonical form (for comparison, or truth table generation.) Let s start with some axioms, or postulates (fundamental properties) of Boolean Algebra. Postulates 1. Both AND and OR have identity elements A + 0 = A A 1 = A 2. Commutativity A+B = B+A AB = BA 3. Associativity A+(B+C) = (A+B)+C A(BC) = (AB)C 4. Distributivity A+BC = (A+B)(A+C) A(B+C) = AB + AC 5. Every element has a complement 0'= 1 1'= 0 A+A =1 A A = 0 and (A ) = A Note that each of these postulates contains a pair of rules; they are called duals of each other. In general, the dual of any Boolean expression is obtained by replacing all + s with s and all 0's with 1's. If a Boolean expression or equation is determined to be true, then its dual will also be true, and it is not necessary to prove the dual independently. This property of is called the Principal of Duality. By the way, it would seem that the functions AND and OR correspond in many ways with the arithmetic operators MULTIPLICATION and ADDITION, respectively. This is 8
9 certainly true regarding identities, commutativity, and associativity. Note, however, that the distributive rule is a bit different in that both Boolean operators are distributive across each other, while multiplication is distributive across addition, but not vice versa. Many additional theorems of can be proved using the postulates given above. Theorems, of course, can then be used to prove other theorems and results. The most important and useful theorems are presented here, with their proofs. In each case, as a result of the Principle of Duality, only one of the dual pair need be proved. Theorems 1. A+A = A AA = A 2. A+1 = 1 A0 = 0 3. A+AB = A A(A+B) = A Absorption 4. A+A B = A+B A(A +B) = AB Adsorption 5. (A+B) = A B (AB) = A +B De Morgan s Theorem The primary use for these theorems is for the simplification of Boolean expressions, generating canonical forms, and for proving the equivalence of Boolean expressions. Simplification and Equivalence a) Simplify AB+AB C = A(B+B C) Distributivity = A(B+C) Adsorption = AB+AC Distributivity b) Prove ABC+ ABC +AB C is equivalent to AB + AC ABC+ABC +AB C = AB(C+C ) +AB C Distributivity = AB+AB C Complement = AB+AC (proved in a) Canonical Forms The canonical Boolean forms are the Disjunctive Normal Form, referenced repeatedly 9
10 above, and the Conjunctive Normal form (CNF). Recall that the DNF is a sum-ofproducts form in which every minterm contains every variable used in the function; the CNF is a product-of-sums form in which every maxterm contains every variable used in the function. The Exclusive OR (XOR) The Exclusive Or (XOR) is a binary infix operator defined by the following truth table: A B f XOR That is, it is the same as the OR function with the exception that it is not TRUE when both A and B are TRUE. Thus, f XOR is TRUE whenever A is TRUE or B is TRUE, but not if both are TRUE. The XOR function can be expressed in terms of AND, OR and NOT as A XOR B = A B + AB [B8] as indicated by the truth table. From now on we will use the symbol for the XOR operator. Two other interpretations are of interest, and make this a very useful function: 1. The result is 1 when the arguments are different; the result is 0 when the arguments are the same. 2. The result is 1 when an odd number arguments are 1, and 0 when an even number of arguments (including none) are 1. Like the OR, the XOR is associative and commutative, but it is not distributive. A B = B A A (B C) = (A B) C Consider f = A B C. The truth table for this function is A B C f 10
11 This demonstrates the second of the two bullets above, since a result of 1 appears only if there are one or three 1's among the arguments. A useful consequence of this property of the XOR is that an XOR function can be complemented simply by complementing any odd number of variables. if f = A B C, f = A B C = A B C = A B C = A B C = (A B C) Another useful consequence of the this is that any Boolean expression can be complemented by XORing it with 1: f = f 1 11
12 Review Questions 1. Which of the following truth tables represent XOR (or NOT XOR) functions? a. b. c. d. A B C f A B C f A B C f A B C f Which of the following DNF expressions represent XOR (or NOT XOR) functions? a. AB + A B b. AB C + A B C + A BC c. ABC + A BC + AB C + ABC NAND and NOR The NAND and NOR functions are the invert (complement) of the AND and OR functions, respectively. That is, they have the following truth tables, in which all the 1's and 0's in the output columns for the AND and OR operators have been complemented (inverted) to get the NAND and NOR functions, respectively. A B A NAND B A B A NOR B Algebraically, A NAND B = NOT (A AND B) = (AB) A NOR B = NOT (A OR B) = (A+B) The importance of these two functions, or operators, lies in the fact that each of them is 12
13 sufficient to implement any Boolean Expression! This is valuable in computer chip manufacturing as it means a chip can be built containing only one kind of circuit and personalized only through metalization. The alternative, using ANDs, ORs and NOTs, would require chip designers to guess, before any engineering design has been done, what percentage of each kind of circuit might be required, and also what the placement of the circuits ought to be across the chip. We will use the symbol for the NOR function and for the NAND. We now show that the basic Boolean operators, AND, OR, and NOT can all be expressed using only NANDs or NORs. From this the assertion in the previous paragraph follows. Logic Circuits 1. A = (A1) = A 1 A = (A+0) = A 0 A = (AA) = AA A = (A+A) = AA 2. AB = ((AB) ) = (A B) = (A B) 1 = (A + B ) = ((A 0) + (B 0)) = (A 0)(B 0) 3. A+B = (A B ) = A B = (A 1)(B 1) = ((A+B) ) = (A B)0 4. A B = A B+AB = ((A 1)B)(A (B 1)) = (AB+A B ) = AB A B = ((A 0)(B 0))(A B) Logic circuits are electronic devices which implement Boolean expressions. Such circuits can be exceedingly complex, but they are built up from a few fundamental circuits, called logic gates, or just gates (no relation.) As you might expect, there is an AND gate, an OR gate, and a NOT gate (which is commonly called an inverter, since it inverts the level of the incoming signal.) Since these gates are commonly used to implement more complex logic circuits, there is a standardized set of figures which are used to draw such circuits. 13
14 The function f = ABC + D would be implemented in hardware as Practice Problems - Logic Circuits 1. Draw the logic circuits corresponding to each of the following Boolean expressions. Do not simplify the expressions. a. AB+C(A +B) c. (A+B )(BC +A)+D b. A+B+C(A +C ) d. AB +A B 14
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 informationChapter 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 informationChapter 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 informationENGIN 112 Intro to Electrical and Computer Engineering
ENGIN 2 Intro to Electrical and Computer Engineering Lecture 5 Boolean Algebra Overview Logic functions with s and s Building digital circuitry Truth tables Logic symbols and waveforms Boolean algebra
More information2.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 informationSYNERGY 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 informationModule -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 informationMenu. 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 informationComputer 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 informationDesigning Computer Systems Boolean Algebra
Designing Computer Systems Boolean Algebra 08:34:45 PM 4 June 2013 BA-1 Scott & Linda Wills Designing Computer Systems Boolean Algebra Programmable computers can exhibit amazing complexity and generality.
More informationExperiment 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 informationCombinational 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 informationGet 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 informationAssignment (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 informationCS470: 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 informationBawar Abid Abdalla. Assistant Lecturer Software Engineering Department Koya University
Logic Design First Stage Lecture No.5 Boolean Algebra Bawar Abid Abdalla Assistant Lecturer Software Engineering Department Koya University Boolean Operations Laws of Boolean Algebra Rules of Boolean Algebra
More informationCS February 17
Discrete Mathematics CS 26 February 7 Equal Boolean Functions Two Boolean functions F and G of degree n are equal iff for all (x n,..x n ) B, F (x,..x n ) = G (x,..x n ) Example: F(x,y,z) = x(y+z), G(x,y,z)
More informationCHAPTER-2 STRUCTURE OF BOOLEAN FUNCTION USING GATES, K-Map and Quine-McCluskey
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
More informationCombinational 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 informationIT 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 informationUnit-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(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 informationQUESTION BANK FOR TEST
CSCI 2121 Computer Organization and Assembly Language PRACTICE QUESTION BANK FOR TEST 1 Note: This represents a sample set. Please study all the topics from the lecture notes. Question 1. Multiple Choice
More informationReview. EECS Components and Design Techniques for Digital Systems. Lec 05 Boolean Logic 9/4-04. Seq. Circuit Behavior. Outline.
Review EECS 150 - Components and Design Techniques for Digital Systems Lec 05 Boolean Logic 94-04 David Culler Electrical Engineering and Computer Sciences University of California, Berkeley Design flow
More information(Refer Slide Time 3:31)
Digital Circuits and Systems Prof. S. Srinivasan Department of Electrical Engineering Indian Institute of Technology Madras Lecture - 5 Logic Simplification In the last lecture we talked about logic functions
More informationGC03 Boolean Algebra
Why study? GC3 Boolean Algebra Computers transfer and process binary representations of data. Binary operations are easily represented and manipulated in Boolean algebra! Digital electronics is binary/boolean
More informationBoolean Algebra and Logic Gates
Boolean Algebra and Logic Gates Binary logic is used in all of today's digital computers and devices Cost of the circuits is an important factor Finding simpler and cheaper but equivalent circuits can
More informationLogic Gates and Boolean Algebra ENT263
Logic Gates and Boolean Algebra ENT263 Logic Gates and Boolean Algebra Now that we understand the concept of binary numbers, we will study ways of describing how systems using binary logic levels make
More informationBOOLEAN 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 informationX 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 informationSummary. 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 informationChapter 2. Boolean Algebra and Logic Gates
Chapter 2. Boolean Algebra and Logic Gates Tong In Oh 1 Basic Definitions 2 3 2.3 Axiomatic Definition of Boolean Algebra Boolean algebra: Algebraic structure defined by a set of elements, B, together
More informationBinary logic. Dr.Abu-Arqoub
Binary logic Binary logic deals with variables like (a, b, c,, x, y) that take on two discrete values (, ) and with operations that assume logic meaning ( AND, OR, NOT) Truth table is a table of all possible
More informationBOOLEAN ALGEBRA. 1. State & Verify Laws by using :
BOOLEAN ALGEBRA. State & Verify Laws by using :. State and algebraically verify Absorption Laws. (2) Absorption law states that (i) X + XY = X and (ii) X(X + Y) = X (i) X + XY = X LHS = X + XY = X( + Y)
More informationCh. 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 informationCombinational Devices and Boolean Algebra
Combinational Devices and Boolean Algebra Silvina Hanono Wachman M.I.T. L02-1 6004.mit.edu Home: Announcements, course staff Course information: Lecture and recitation times and locations Course materials
More informationSpecifying 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 informationObjectives: 1- Bolean Algebra. Eng. Ayman Metwali
Objectives: Chapter 3 : 1- Boolean Algebra Boolean Expressions Boolean Identities Simplification of Boolean Expressions Complements Representing Boolean Functions 2- Logic gates 3- Digital Components 4-
More informationTo 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 informationCircuit analysis summary
Boolean Algebra Circuit analysis summary After finding the circuit inputs and outputs, you can come up with either an expression or a truth table to describe what the circuit does. You can easily convert
More informationUNIT-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 informationSWITCHING THEORY AND LOGIC CIRCUITS
SWITCHING THEORY AND LOGIC CIRCUITS COURSE OBJECTIVES. To understand the concepts and techniques associated with the number systems and codes 2. To understand the simplification methods (Boolean algebra
More informationGate 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 informationDKT 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 informationChap-2 Boolean Algebra
Chap-2 Boolean Algebra Contents: My name Outline: My position, contact Basic information theorem and postulate of Boolean Algebra. or project description Boolean Algebra. Canonical and Standard form. Digital
More informationBawar 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 informationCS8803: 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 information1. 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 informationEE292: Fundamentals of ECE
EE292: Fundamentals of ECE Fall 2012 TTh 10:00-11:15 SEB 1242 Lecture 22 121115 http://www.ee.unlv.edu/~b1morris/ee292/ 2 Outline Review Binary Number Representation Binary Arithmetic Combinatorial Logic
More informationDigital 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 informationStarting Boolean Algebra
Boolean Algebra March 2, 27 Diagram for FunChip2 Here is a picture of FunChip2 that we created more or less randomly in class on /25 (used in various Activities): Starting Boolean Algebra Boolean algebra
More informationPhiladelphia 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 informationUNIT 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 informationGate-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 informationGate 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 informationSoftware Engineering 2DA4. Slides 2: Introduction to Logic Circuits
Software Engineering 2DA4 Slides 2: Introduction to Logic Circuits Dr. Ryan Leduc Department of Computing and Software McMaster University Material based on S. Brown and Z. Vranesic, Fundamentals of Digital
More informationChapter 3. Boolean Algebra and Digital Logic
Chapter 3 Boolean Algebra and Digital Logic Chapter 3 Objectives Understand the relationship between Boolean logic and digital computer circuits. Learn how to design simple logic circuits. Understand how
More informationPropositional Calculus: Boolean Algebra and Simplification. CS 270: Mathematical Foundations of Computer Science Jeremy Johnson
Propositional Calculus: Boolean Algebra and Simplification CS 270: Mathematical Foundations of Computer Science Jeremy Johnson Propositional Calculus Topics Motivation: Simplifying Conditional Expressions
More informationLecture (04) Boolean Algebra and Logic Gates
Lecture (4) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee ١ Dr. Ahmed ElShafee, ACU : Spring 26, Logic Design Boolean algebra properties basic assumptions and properties: Closure law A set S is
More informationLecture (04) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee
Lecture (4) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee Boolean algebra properties basic assumptions and properties: Closure law A set S is closed with respect to a binary operator, for every
More informationLecture (05) Boolean Algebra and Logic Gates
Lecture (05) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee ١ Minterms and Maxterms consider two binary variables x and y combined with an AND operation. Since eachv ariable may appear in either
More information[Ch 6] Set Theory. 1. Basic Concepts and Definitions. 400 lecture note #4. 1) Basics
400 lecture note #4 [Ch 6] Set Theory 1. Basic Concepts and Definitions 1) Basics Element: ; A is a set consisting of elements x which is in a/another set S such that P(x) is true. Empty set: notated {
More informationLECTURE 2 An Introduction to Boolean Algebra
IST 210: Boot Camp Ritendra Datta LECTURE 2 An Introduction to Boolean Algebra 2.1. Outline of Lecture Fundamentals Negation, Conjunction, and Disjunction Laws of Boolean Algebra Constructing Truth Tables
More informationSimplification 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 informationDigital 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 informationGate-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 information2.2 Set Operations. Introduction DEFINITION 1. EXAMPLE 1 The union of the sets {1, 3, 5} and {1, 2, 3} is the set {1, 2, 3, 5}; that is, EXAMPLE 2
2.2 Set Operations 127 2.2 Set Operations Introduction Two, or more, sets can be combined in many different ways. For instance, starting with the set of mathematics majors at your school and the set of
More informationChapter 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 information2008 The McGraw-Hill Companies, Inc. All rights reserved.
28 The McGraw-Hill Companies, Inc. All rights reserved. 28 The McGraw-Hill Companies, Inc. All rights reserved. All or Nothing Gate Boolean Expression: A B = Y Truth Table (ee next slide) or AB = Y 28
More informationLSN 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 informationComputer Engineering Chapter 3 Boolean Algebra
Computer Engineering Chapter 3 Boolean Algebra Hiroaki Kobayashi 5/30/2011 Ver. 06102011 5/30/2011 Computer Engineering 1 Agenda in Chapter 3 What is Boolean Algebra Basic Boolean/Logical Operations (Operators)
More informationELCT201: 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 informationChapter 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 informationLogic Design: Part 2
Orange Coast College Business Division Computer Science Department CS 6- Computer Architecture Logic Design: Part 2 Where are we? Number systems Decimal Binary (and related Octal and Hexadecimal) Binary
More informationExperiment 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 informationBOOLEAN ALGEBRA AND CIRCUITS
UNIT 3 Structure BOOLEAN ALGEBRA AND CIRCUITS Boolean Algebra and 3. Introduction 3. Objectives 3.2 Boolean Algebras 3.3 Logic 3.4 Boolean Functions 3.5 Summary 3.6 Solutions/ Answers 3. INTRODUCTION This
More information24 Nov Boolean Operations. Boolean Algebra. Boolean Functions and Expressions. Boolean Functions and Expressions
24 Nov 25 Boolean Algebra Boolean algebra provides the operations and the rules for working with the set {, }. These are the rules that underlie electronic circuits, and the methods we will discuss are
More informationBoolean algebra. June 17, Howard Huang 1
Boolean algebra Yesterday we talked about how analog voltages can represent the logical values true and false. We introduced the basic Boolean operations AND, OR and NOT, which can be implemented in hardware
More informationEEE130 Digital Electronics I Lecture #4_1
EEE130 Digital Electronics I Lecture #4_1 - Boolean Algebra and Logic Simplification - By Dr. Shahrel A. Suandi 4-6 Standard Forms of Boolean Expressions There are two standard forms: Sum-of-products form
More informationHenry Lin, Department of Electrical and Computer Engineering, California State University, Bakersfield Lecture 7 (Digital Logic) July 24 th, 2012
Henry Lin, Department of Electrical and Computer Engineering, California State University, Bakersfield Lecture 7 (Digital Logic) July 24 th, 2012 1 Digital vs Analog Digital signals are binary; analog
More informationIntroduction. 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 informationBoolean Algebra. BME208 Logic Circuits Yalçın İŞLER
Boolean Algebra BME28 Logic Circuits Yalçın İŞLER islerya@yahoo.com http://me.islerya.com 5 Boolean Algebra /2 A set of elements B There exist at least two elements x, y B s. t. x y Binary operators: +
More informationELCT201: 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 informationDIGITAL SYSTEM DESIGN
DIGITAL SYSTEM DESIGN UNIT I: Introduction to Number Systems and Boolean Algebra Digital and Analog Basic Concepts, Some history of Digital Systems-Introduction to number systems, Binary numbers, Number
More informationEECS150 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 informationCombinational 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 informationGate-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 informationCombinational 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 informationCode 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 informationBoolean Algebra & Digital Logic
Boolean Algebra & Digital Logic Boolean algebra was developed by the Englishman George Boole, who published the basic principles in the 1854 treatise An Investigation of the Laws of Thought on Which to
More information2.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 informationDefinitions. 03 Logic networks Boolean algebra. Boolean set: B 0,
3. Boolean algebra 3 Logic networks 3. Boolean algebra Definitions Boolean functions Properties Canonical forms Synthesis and minimization alessandro bogliolo isti information science and technology institute
More informationR.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 informationDigital 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 informationTo prove something about all Boolean expressions, we will need the following induction principle: Axiom 7.1 (Induction over Boolean expressions):
CS 70 Discrete Mathematics for CS Spring 2005 Clancy/Wagner Notes 7 This lecture returns to the topic of propositional logic. Whereas in Lecture Notes 1 we studied this topic as a way of understanding
More informationBoolean 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 informationTo prove something about all Boolean expressions, we will need the following induction principle: Axiom 7.1 (Induction over Boolean expressions):
CS 70 Discrete Mathematics for CS Fall 2003 Wagner Lecture 7 This lecture returns to the topic of propositional logic. Whereas in Lecture 1 we studied this topic as a way of understanding proper reasoning
More informationChapter 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 informationLecture 3: Binary Subtraction, Switching Algebra, Gates, and Algebraic Expressions
EE210: Switching Systems Lecture 3: Binary Subtraction, Switching Algebra, Gates, and Algebraic Expressions Prof. YingLi Tian Feb. 5/7, 2019 Department of Electrical Engineering The City College of New
More informationVariable, Complement, and Literal are terms used in Boolean Algebra.
We have met gate logic and combination of gates. Another way of representing gate logic is through Boolean algebra, a way of algebraically representing logic gates. You should have already covered the
More information