MA 3260 Lecture 10 - Boolean Algebras (cont.) Friday, October 19, 2018.

Similar documents
CSC258: Computer Organization. Digital Logic: Transistors and Gates

Binary addition example worked out

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Introduction: Op-amps in Negative Feedback

E40M. Binary Numbers. M. Horowitz, J. Plummer, R. Howe 1

Digital Circuits. 1. Inputs & Outputs are quantized at two levels. 2. Binary arithmetic, only digits are 0 & 1. Position indicates power of 2.

Electrical Circuits. Winchester College Physics. makptb. c D. Common Time man. 3rd year Revision Test

Module - 19 Gated Latches

Lecture 5: Using electronics to make measurements

ECE/CS 250: Computer Architecture. Basics of Logic Design: Boolean Algebra, Logic Gates. Benjamin Lee

Electric Current Unlike static electricity, electric current is a continuous flow of charged particles (electricity). For current to flow, there must

ECE/CS 250 Computer Architecture

Quiz 07a. Integers Modulo 12

CSCI 2150 Intro to State Machines

Lecture 6: Time-Dependent Behaviour of Digital Circuits

CPE100: Digital Logic Design I

Computer Science 324 Computer Architecture Mount Holyoke College Fall Topic Notes: Digital Logic

Lecture 5: Using electronics to make measurements

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi

Sequential Logic (3.1 and is a long difficult section you really should read!)

Lab 4. Current, Voltage, and the Circuit Construction Kit

Digital electronics form a class of circuitry where the ability of the electronics to process data is the primary focus.

Lecture 9: Digital Electronics

CprE 281: Digital Logic

Designing Information Devices and Systems I Spring 2018 Lecture Notes Note 17

Unit 4: Computer as a logic machine

Voltage (AC) period, T

Intro To Digital Logic

ECE 250 / CPS 250 Computer Architecture. Basics of Logic Design Boolean Algebra, Logic Gates

CSC9R6 Computer Design. Practical Digital Logic

Prove that if not fat and not triangle necessarily means not green then green must be fat or triangle (or both).

MA 1125 Lecture 15 - The Standard Normal Distribution. Friday, October 6, Objectives: Introduce the standard normal distribution and table.

DIGITAL CIRCUIT LOGIC BOOLEAN ALGEBRA

EEE130 Digital Electronics I Lecture #4

Lab 3 Revisited. Zener diodes IAP 2008 Lecture 4 1

WEEK 2.1 BOOLEAN ALGEBRA

0 volts. 2 volts. 5 volts

S C F F F T T F T T S C B F F F F F T F T F F T T T F F T F T T T F T T T

Building a Computer Adder

Lecture 1. Notes. Notes. Notes. Introduction. Introduction digital logic February Bern University of Applied Sciences

WEEK 3.1 MORE ON KARNAUGH MAPS

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

COSC3330 Computer Architecture Lecture 2. Combinational Logic

Modern Physics notes Paul Fendley Lecture 3

mith College Computer Science CSC270 Spring 16 Circuits and Systems Lecture Notes Week 3 Dominique Thiébaut

Boolean circuits. Lecture Definitions

Implementation of Boolean Logic by Digital Circuits

Introduction to Computer Engineering ECE 203

Review of Circuit Analysis

MA 1128: Lecture 08 03/02/2018. Linear Equations from Graphs And Linear Inequalities

Switches: basic element of physical implementations

1.10 (a) Function of AND, OR, NOT, NAND & NOR Logic gates and their input/output.

Section 5.4 BJT Circuits at DC

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

CMPE12 - Notes chapter 2. Digital Logic. (Textbook Chapters and 2.1)"

Active loads in amplifier circuits

Industrial Technology: Electronic Technology Crosswalk to AZ Math Standards

SOLID STATE ELECTRONICS DIGITAL ELECTRONICS SOFT CONDENSED MATTER PHYSICS

Semi-Conductors insulators semi-conductors N-type Semi-Conductors P-type Semi-Conductors

As light level increases, resistance decreases. As temperature increases, resistance decreases. Voltage across capacitor increases with time LDR

Designing Information Devices and Systems I Fall 2015 Anant Sahai, Ali Niknejad Final Exam. Exam location: RSF Fieldhouse, Back Left, last SID 6, 8, 9

CprE 281: Digital Logic

Predator - Prey Model Trajectories and the nonlinear conservation law

Computer Organization: Boolean Logic

Chapter 1: Logic systems

Review: Additional Boolean operations

Semiconductor Physics fall 2012 problems

MITOCW ocw nov2005-pt1-220k_512kb.mp4

Problems from Probability and Statistical Inference (9th ed.) by Hogg, Tanis and Zimmerman.

MITOCW ocw f99-lec30_300k

Chapter 2 Combinational Logic Circuits

Digital electronic systems are designed to process voltage signals which change quickly between two levels. Low time.

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

INDUSTRIAL ELECTRICITY

Memory Elements I. CS31 Pascal Van Hentenryck. CS031 Lecture 6 Page 1

13.5 Finite Boolean Algebras as n-tuples of 0's and 1's

20.2 Design Example: Countdown Timer

Gates and Flip-Flops

Designing Information Devices and Systems II Spring 2018 J. Roychowdhury and M. Maharbiz Discussion 1A

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

Derivatives and the Product Rule

UC Berkeley College of Engineering, EECS Department CS61C: Representations of Combinational Logic Circuits

Lecture 14 Finite state machines

Cabrillo College Physics 10L. LAB 8 Magnetism. Read Hewitt Chapter 24

Circuits for Analog System Design Prof. Gunashekaran M K Center for Electronics Design and Technology Indian Institute of Science, Bangalore

CS61c: Representations of Combinational Logic Circuits

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Combinatorial Logic Design Principles

T U T O R I A L : A M O D E L F O R C I R C U I T S

We ll start today by learning how to change a decimal to a fraction on our calculator! Then we will pick up our Unit 1-5 Review where we left off!

Digital logic signals

Digital logic signals

Lecture 10: Powers of Matrices, Difference Equations

Unit 8A Computer Organization. Boolean Logic and Gates

Math Lecture 4 Limit Laws

Electronics Fets and Mosfets Prof D C Dube Department of Physics Indian Institute of Technology, Delhi

Lab #2: Digital Simulation of Torsional Disk Systems in LabVIEW

Descriptive Statistics (And a little bit on rounding and significant digits)

2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.

CS 226: Digital Logic Design

Transcription:

MA 3260 Lecture 0 - Boolean Algebras (cont.) Friday, October 9, 208. Objectives: Boolean algebras on { 0, }. Before we move on, I wanted to give you a taste of what the connection between Boolean algebra and computers might look like. In simplistic terms, a computer is a bunch of switches wired together with a clock sending out pulses of electricity through this network. What follows is my simplistic understanding of how this could work. More sophisticated components would make this work better, but my version should convey the basic idea. The transistor. Your basic old-fashioned transistor is made out of a material called a semiconductor, originally silicon or germanium, as I remember my community college professor telling me. The semiconductor could be contaminated with something to give it a small positive or negative charge. Then three tiny pieces of this stuff are joined together so that a positive piece is sandwiched between two negative pieces to form an NPN transistor, or a negative piece is sandwiched between two positives to make a PNP transistor. We also have wires attached to each of the three pieces, as shown below. OK. So we somehow wire up the transistor so that there are voltages across the wires. The + s and s are relative, but there is a small voltage from the bottom wire to the one on the right, and a larger voltage from the left wire to the right wire. Current will tend to flow from the s to the + s, with a larger current coming from the left wire. A transistor is a very odd device called an amplifier. If you modulate/fluctuate the voltage on the bottom wire (with a microphone, for example), then the current from the left wire will modulate the same way, but with greater amplitude. With a bunch of transistors, you can take the tiny oscillating current/voltage produced by a microphone and amplify it into large oscillating currents/voltages that power speakers. It turns out that transistors have another interesting property that makes them good for computers. If the voltage from the bottom wire is small enough (0.7 volts for silicon and 0.3 volts for germanium, as I remember), the transistor shuts down, and no current flows through either wire. This makes a transistor a switch controlled by that bottom wire. And Gate. Very roughly, applying a voltage to that bottom wire allows current to flow through the entire transistor. Putting two transistors in series, as shown below, requires voltages on both bottom wires to allow current to flow. If x is one input voltage and y is the second, then the output would correspond to x y (i.e. x and y). Since the power is just there to make things work, we don t need to show it in our diagrams, so we ll use the symbol on the right to represent AND in a circuit diagram.

MA 3260 Lecture 0 - Boolean Algebras (cont.) 2 Or Gate. Wiring two transistors in parallel, as shown below, allows current to flow if there is voltage on at least one of the bottom wires. The output here, therefore, would be x y (i.e. x or y). The circuit symbol for OR is also shown. Not Gate. I don t quite understand the wiring of a Not Gate, which would allow current to flow, if there is not a voltage on the input wire. I believe you need to exploit the concept of a voltage drop across a resistance to make the voltages work out right. I think you put the power voltage on the bottom wire and the input voltage on the left, but I m not at all sure. You can do it, though. The symbol for a NOT gate is shown below. Wiring the gates together. Once you have a gate, you can wire the output voltage to the input of another transistor or gate. For example, consider the Boolean expression () [(x y) x. ] Here, x y will be our notation for x or y. We ll use the symbol x y for x and y, and we ll also use x for not x. The expression [ (x y) x ] corresponds to the circuit diagram In the circuit, we can apply a voltage (or not) at the inputs x and y, and voltages will be propagated through the diagram. For example, suppose x is on, and y is off. This would result in x y being on, and there will be a voltage coming out of the OR gate. The inputs to the AND gate, therefore, will both be on, so the output of the AND gate will on. The input, then, into the NOT gate is on, so the output will be off. If we interpret the existence of a voltage as a, and the lack of a voltage being a 0, the input x = and y = 0 results in an output of [(x y) x ] = 0. Other inputs will result in possibly different outputs, of course. The s, s, and s acting on the 0 s and s form a Boolean algebra, so we can manipulate the expression [ (x y) x ] using the rules of Boolean algebra. For example, an application of DeMorgan s laws says that (2) [(x y) x ] = (x y) x = ( x y) x.

MA 3260 Lecture 0 - Boolean Algebras (cont.) 3 All three of these expressions are equivalent, and so the corresponding circuits will do the same thing. The third expression, ( x y) x corresponds to the following circuit, which give exactly the same outputs as the one above. Addition of binary numbers using circuits Interpreting off s and on s as 0 s and s allows us to do arithmetic with these Boolean circuits. Let me first do a quick review (or explanation) of binary number notation. Binary is another name for the base 2 number system. We typically use base 0. In base 0, the first digit on the right has place value or 0 0, the second digit has place value 0 or 0, the third digit has place value 00 or 0 2, etc. For example, (3) 37 = 3 0 2 + 0 + 7 0 0 = 300 + 0 + 7. In base 2, the place values are powers of 2. For example, (4) 0 2 = 2 3 + 2 2 + 0 2 + 2 0 = 8 + 4 + 0 + = 3. I would like to create a circuit that give outputs that correspond to addition of binary numbers. In regular arithmetic, an addition problem might look like (5) We would start on the right adding 2 and 9 to get, which is 0 +, and the 0 gets carried as a in the 0 s column. (6) Next, we would have (7) Then (8) and finally (9) 2 2 2 2 2

MA 3260 Lecture 0 - Boolean Algebras (cont.) 4 So what would this look like in base 2? Pretty much the same, except that we ll carry 2 s instead of 0 s. For example, consider (0) 0 + 0 Again, starting on the right, + = 0 in base 2. We ll put a 0 in the s column, and carry a 2 as a in the 2 s column. () Continuing on, we get (2) then (3) and then (4) 0 + 0 0 0 + 0 0 0 0 + 0 0 0 0 0 + 0 0 0 0 In designing our addition circuit, we ll need to figure out how to add three single-digit binary numbers, and to carry. Adding two single-digit binary numbers. Our circuit needs to display the following pattern (5) 0 + 0 = 0 0 + = + 0 = + = 0 First off, we ll have two inputs, the two numbers to be added, and we ll have two outputs, the 2 s digit of the output and the s digit of the output. In other words, we want (6) x y 2 s digit s digit 0 0 0 0 0 0 0 0 0 Now, keep in mind that computers do nothing more than input 0 s and s and output 0 s and s. Our job is to make the outputs have a pattern that we want. So randomly guessing, let s consider x y and x y. (7) x y 2 s digit s digit x y x y 0 0 0 0 0 0 0 0 0 0 0 0 0

MA 3260 Lecture 0 - Boolean Algebras (cont.) 5 So now, we see that x y has the right pattern for the 2 s digit. One of our outputs, therefore, should be x y. I m going to add columns for (x y) and (x y) (x y), because I can see a pattern, (8) x y 2 s digit s digit x y x y (x y) (x y) (x y) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 and we can see that the last column is what we want for the s digit. I drew the circuits for this in class, and I don t feel like drawing it here. Adding three single-digit binary numbers. Now we have three inputs x, y, and z, and we have two outputs, the 2 s digit and the s digit. (9) x y z 2 s digit s digit 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 A brute force approach would take each row by itself. For example, the second row says that if we have x =, and y = 0 and z = 0, then the s digit should be a. By itself, that s x y z. The other s in the last column go with x y z, x y z, and x y z. We just want one of these things to happen. The s digit, therefore, must me (20) (x y z) ( x y z) ( x y z) (x y z). I believe this is equivalent to (2) ([(x y) (x y)] z ) ([(x y) (x y)] z ) You can do the 2 s digit similarly.. Add the following base-2 numbers. a. 0 2 + 000 2 b. 2 + 2 c. 000 2 + 0 2 d. 0 2 + 00 2 + 00 2 Homework 0 2. Rewrite the problems in Problem in base 0, and do them in base 0.