Group 4 Project. James Earthman, Gregg Greenleaf, Zach Harvey, Zac Leids

Size: px
Start display at page:

Download "Group 4 Project. James Earthman, Gregg Greenleaf, Zach Harvey, Zac Leids"

Transcription

1 Group 4 Project James Earthman, Gregg Greenleaf, Zach Harvey, Zac Leids

2 2.5 # Give the output signals S and T for the circuit in the right column if the input signals P, Q, and R are as specified. Note that this is not the circuit for a full-adder. a. P = 1, Q = 1, R = 1 b. P = 0, Q = 1, R = 0 c. P = 1, Q = 0, R = 1

3 2.5 #21 Solution a. S = 0, T = 1 b. S = 1, T = 0 c. S = 0, T = 0 A Half-Adder takes two binary digits and adds them together. The output for a half-adder is given in two parts, the carry and the sum. The carry is returned true when both of the inputs are true or 1, this is like carrying a digit in decimal addition. The sum is returned true when one of the inputs is true but not both. Both the carry and the sum are returned false if both inputs are false. This circuit also uses an AND gate. An AND gate only returns a true value when both inputs are true, it returns false in any other case.

4 Gottfried Leibniz Gottfried Leibniz was the mathematician who invented the Binary number system. Leibniz was a German academic that excelled in areas of mathematics and philosophy. He is infamously known for inventing Calculus independant of Isaac Newton. Newton later claimed that Leibniz had stolen his work. Although he was an amazing mathematician, he also wrote on politics and law. Binary number theorem is the foundation for modern computing.

5 2.5 # Add and convert the result to decimal notation, to verify that = (2 8 1)10.

6 2.5 #22 Solution = > Decimal = 256 or 2 8 When adding binary numbers, 1 is carried when both digits are 1 this leaves behind a sum of 0. In this problem, the a 1 is carried all the way to the ninth digit leaving behind 0 s is each column. When converting the binary number to decimal when can assign a binary value to each digit via 2 Digit N, then take the sum of those values and calculate our decimal number. For this problem, we see that there is a 1 in the 8th digit giving us a value of 256, since none of the other digits are true our answer is just 256.

7 2.5 #47 Part 1: Convert to decimal notation. Part 2: Convert to decimal notation.

8 2.5 #47 Solution Part 1: = 6 * * * * * 8 0 = Part 2: = 2 * * * * * 8 0 = 8691

9 3.3 #56 Let P(x) and Q(x) be predicates and suppose D is the domain of x. In 55 58, for the statement forms in each pair, determine whether (a) they have the same truth value for every choice of P(x), Q(x), and D, or (b) there is a choice of P(x), Q(x), and D for which they have opposite truth values. x D, (P(x) Q(x)) and ( x D, (P(x)) ( x D, Q(x))

10 3.3 #56 Solution a) No matter what the domain D or the predicates P(x) and Q(x) are, the given statements have the same truth value. If the statement x D, (P(x) Q (x)) is true, then P(x) Q(x) is true for the x chosen in D, which implies that both P(x) and Q(x) are true for the x chosen in D. But then P(x) is true for the x chosen in D, and also Q(x) is true for the x chosen in D. So the statement ( x D, (P(x)) ( x D, Q(x)) is true. Conversely, if the statement ( x D, (P(x)) ( x D, Q(x)) is true, then P(x) is true for the x chosen in D, and also Q(x) is true for the x chosen in D. This implies that both P(x) and Q(x) are true for the x chosen in D, and so P(x) Q(x) is true for the x chosen in D. Hence the statement x D, (P(x) Q(x)) is true.

11 3.3 #58 Let P(x) and Q(x) be predicates and suppose D is the domain of x. In 55 58, for the statement forms in each pair, determine whether (a) they have the same truth value for every choice of P(x), Q(x), and D, or (b) there is a choice of P(x), Q(x), and D for which they have opposite truth values. x D, (P(x) Q(x)), and ( x D, P(x)) ( x D, Q(x))

12 3.3 #58 Solution a) If the statement x D, (P(x) Q(x)) is true, then P(x) Q(x) is true for the x chosen in D, since only P(x) or Q(x) has to be true for the chosen x in D. So the statement ( x D, (P(x)) ( x D, Q(x)) must be true. Conversely, if the statement ( x D, (P(x)) ( x D, Q(x)) is true, then P(x) is true for the x chosen in D, or Q(x) is true for the x chosen in D. This implies that P(x) or Q(x) are true for the x chosen in D, and so P(x) Q(x) is true for the x chosen in D. Hence the statement x D, (P(x) Q(x)) is true.

13 References htm

Advanced Information Storage 02

Advanced Information Storage 02 dvanced Information Storage 02 tsufumi Hirohata Department of Electronics 16:00 10/October/2013 Thursday (V 120) Quick Review over the Last Lecture Von Neumann s model : Memory access : Bit / byte : 1

More information

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and

More information

Combinational Logic. By : Ali Mustafa

Combinational Logic. By : Ali Mustafa Combinational Logic By : Ali Mustafa Contents Adder Subtractor Multiplier Comparator Decoder Encoder Multiplexer How to Analyze any combinational circuit like this? Analysis Procedure To obtain the output

More information

Information Storage and Spintronics 02

Information Storage and Spintronics 02 Information Storage and Spintronics 02 tsufumi Hirohata Department of Electronic Engineering 09:00 Tuesday, 02/October/2018 (J/Q 004) Contents of Information Storage and Spintronics Lectures : tsufumi

More information

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL. 2017-18 XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL HALF ADDER 1. The circuit that performs addition within the Arithmetic and Logic Unit of the CPU are called adders. 2. A unit that adds two

More information

CSE 20 DISCRETE MATH. Fall

CSE 20 DISCRETE MATH. Fall CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Describe and use algorithms for integer operations based on their expansions Relate algorithms for integer

More information

4.3. Riemann Sums. Riemann Sums. Riemann Sums and Definite Integrals. Objectives

4.3. Riemann Sums. Riemann Sums. Riemann Sums and Definite Integrals. Objectives 4.3 Riemann Sums and Definite Integrals Objectives Understand the definition of a Riemann sum. Evaluate a definite integral using limits & Riemann Sums. Evaluate a definite integral using geometric formulas

More information

π-day, 2013 Michael Kozdron

π-day, 2013 Michael Kozdron π-day, 2013 Michael Kozdron What is π? In any circle, the ratio of the circumference to the diameter is constant. We are taught in high school that this number is called π. That is, for any circle. π =

More information

1). To introduce and define the subject of mechanics. 2). To introduce Newton's Laws, and to understand the significance of these laws.

1). To introduce and define the subject of mechanics. 2). To introduce Newton's Laws, and to understand the significance of these laws. 2 INTRODUCTION Learning Objectives 1). To introduce and define the subject of mechanics. 2). To introduce Newton's Laws, and to understand the significance of these laws. 3). The review modeling, dimensional

More information

CIRCUITS AND ELECTRONICS. The Digital Abstraction

CIRCUITS AND ELECTRONICS. The Digital Abstraction 6.002 CIRCUITS AND ELECTRONICS The Digital Abstraction Review Discretize matter by agreeing to observe the lumped matter discipline Lumped Circuit Abstraction Analysis tool kit: KVL/KCL, node method, superposition,

More information

Looking at a two binary digit sum shows what we need to extend addition to multiple binary digits.

Looking at a two binary digit sum shows what we need to extend addition to multiple binary digits. A Full Adder The half-adder is extremely useful until you want to add more that one binary digit quantities. The slow way to develop a two binary digit adders would be to make a truth table and reduce

More information

Number System. Decimal to binary Binary to Decimal Binary to octal Binary to hexadecimal Hexadecimal to binary Octal to binary

Number System. Decimal to binary Binary to Decimal Binary to octal Binary to hexadecimal Hexadecimal to binary Octal to binary Number System Decimal to binary Binary to Decimal Binary to octal Binary to hexadecimal Hexadecimal to binary Octal to binary BOOLEAN ALGEBRA BOOLEAN LOGIC OPERATIONS Logical AND Logical OR Logical COMPLEMENTATION

More information

The History of Motion. Ms. Thibodeau

The History of Motion. Ms. Thibodeau The History of Motion Ms. Thibodeau Aristotle Aristotle aka the Philosopher was a Greek philosopher more than 2500 years ago. He wrote on many subjects including physics, poetry, music, theater, logic,

More information

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18

Total Time = 90 Minutes, Total Marks = 50. Total /50 /10 /18 University of Waterloo Department of Electrical & Computer Engineering E&CE 223 Digital Circuits and Systems Midterm Examination Instructor: M. Sachdev October 23rd, 2007 Total Time = 90 Minutes, Total

More information

A B OUT_0 OUT_1 OUT_2 OUT_

A B OUT_0 OUT_1 OUT_2 OUT_ A B OUT_0 OUT_1 OUT_2 OUT_3 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 A Decoder is something that does the opposite of encoding; it converts the data back into its original form. This decoder converts

More information

Physics Talk NEWTON S SECOND LAW OF MOTION. Evidence for Newton s Second Law of Motion

Physics Talk NEWTON S SECOND LAW OF MOTION. Evidence for Newton s Second Law of Motion Chapter 2 Physics in Action Physics Talk Physics Words Newton s second law of motion: the acceleration of an object is directly proportional to the unbalanced force acting on it and inversely proportional

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.4 Application: Digital Logic Circuits Copyright Cengage Learning. All rights reserved. Application:

More information

Integration. Copyright Cengage Learning. All rights reserved.

Integration. Copyright Cengage Learning. All rights reserved. 4 Integration Copyright Cengage Learning. All rights reserved. 1 4.3 Riemann Sums and Definite Integrals Copyright Cengage Learning. All rights reserved. 2 Objectives Understand the definition of a Riemann

More information

Cs302 Quiz for MID TERM Exam Solved

Cs302 Quiz for MID TERM Exam Solved Question # 1 of 10 ( Start time: 01:30:33 PM ) Total Marks: 1 Caveman used a number system that has distinct shapes: 4 5 6 7 Question # 2 of 10 ( Start time: 01:31:25 PM ) Total Marks: 1 TTL based devices

More information

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table. The Laws of Boolean Boolean algebra As well as the logic symbols 0 and 1 being used to represent a digital input or output, we can also use them as constants for a permanently Open or Closed circuit or

More information

INTRO TO LIMITS & CALCULUS MR. VELAZQUEZ AP CALCULUS

INTRO TO LIMITS & CALCULUS MR. VELAZQUEZ AP CALCULUS INTRO TO LIMITS & CALCULUS MR. VELAZQUEZ AP CALCULUS WHAT IS CALCULUS? Simply put, Calculus is the mathematics of change. Since all things change often and in many ways, we can expect to understand a wide

More information

Physics Talk NEWTON S SECOND LAW OF MOTION. Evidence for Newton s Second Law of Motion

Physics Talk NEWTON S SECOND LAW OF MOTION. Evidence for Newton s Second Law of Motion Chapter 2 Physics in Action Physics Talk NEWTON S SECOND LAW OF MOTION Evidence for Newton s Second Law of Motion In the Investigate, you observed that it was difficult to push on an object with a constant

More information

Boolean Algebra & Digital Logic

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

10/14/2009. Reading: Hambley Chapters

10/14/2009. Reading: Hambley Chapters EE40 Lec 14 Digital Signal and Boolean Algebra Prof. Nathan Cheung 10/14/2009 Reading: Hambley Chapters 7.1-7.4 7.4 Slide 1 Analog Signals Analog: signal amplitude is continuous with time. Amplitude Modulated

More information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

ENGIN 112 Intro to Electrical and Computer Engineering

ENGIN 112 Intro to Electrical and Computer Engineering ENGIN 112 Intro to Electrical and Computer Engineering Lecture 17 Encoders and Decoders Overview Binary decoders Converts an n-bit code to a single active output Can be developed using AND/OR gates Can

More information

COMBINATIONAL LOGIC CIRCUITS. Dr. Mudathir A. Fagiri

COMBINATIONAL LOGIC CIRCUITS. Dr. Mudathir A. Fagiri COMBINATIONAL LOGIC CIRCUITS Dr. Mudathir A. Fagiri Standard Combinational Modules Decoder: Decode address Encoder: Encode address Multiplexer (Mux): Select data by address Demultiplexier (DeMux): Direct

More information

Fundamentals of Digital Design

Fundamentals of Digital Design Fundamentals of Digital Design Digital Radiation Measurement and Spectroscopy NE/RHP 537 1 Binary Number System The binary numeral system, or base-2 number system, is a numeral system that represents numeric

More information

Development of Thought continued. The dispute between rationalism and empiricism concerns the extent to which we

Development of Thought continued. The dispute between rationalism and empiricism concerns the extent to which we Development of Thought continued The dispute between rationalism and empiricism concerns the extent to which we are dependent upon sense experience in our effort to gain knowledge. Rationalists claim that

More information

Proofs with Predicate Calculus ITCS 2175 Revision: 1.0. Author: Zachary Wartell Copyright Zachary Wartell, UNCC, 2010 Contributors:?

Proofs with Predicate Calculus ITCS 2175 Revision: 1.0. Author: Zachary Wartell Copyright Zachary Wartell, UNCC, 2010 Contributors:? Proofs with Predicate Calculus ITCS 2175 Revision: 1.0 Author: Zachary Wartell Copyright Zachary Wartell, UNCC, 2010 Contributors:? This document supplements the course packets and the textbook. 1. Definitions:

More information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN ALGEBRA INTRODUCTION SUBSETS BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations

More information

Carry Look Ahead Adders

Carry Look Ahead Adders Carry Look Ahead Adders Lesson Objectives: The objectives of this lesson are to learn about: 1. Carry Look Ahead Adder circuit. 2. Binary Parallel Adder/Subtractor circuit. 3. BCD adder circuit. 4. Binary

More information

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

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture) COSC 243 Introduction to Logic And Combinatorial Logic 1 Overview This Lecture Introduction to Digital Logic Gates Boolean algebra Combinatorial Logic Source: Chapter 11 (10 th edition) Source: J.R. Gregg,

More information

IST 4 Information and Logic

IST 4 Information and Logic IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 30 M1 1 6 oh M1 oh 13 oh 1 oh 2M2M 20 oh oh 2 T Mx= MQx out 27 oh M2 oh oh = office hours 4 3 11 oh 3 4 oh oh midterms

More information

DESIGN AND IMPLEMENTATION OF ENCODERS AND DECODERS. To design and implement encoders and decoders using logic gates.

DESIGN AND IMPLEMENTATION OF ENCODERS AND DECODERS. To design and implement encoders and decoders using logic gates. DESIGN AND IMPLEMENTATION OF ENCODERS AND DECODERS AIM To design and implement encoders and decoders using logic gates. COMPONENTS REQUIRED S.No Components Specification Quantity 1. Digital IC Trainer

More information

Dear AP Calculus AB student,

Dear AP Calculus AB student, Dear AP Calculus AB student, The packet of review material is a combination of materials I found on-line from other teachers of AP Calculus AB and from basic algebraic concepts I have seen my former Calculus

More information

Quiz 2 Room 10 Evans Hall, 2:10pm Tuesday April 2 (Open Katz only, Calculators OK, 1hr 20mins)

Quiz 2 Room 10 Evans Hall, 2:10pm Tuesday April 2 (Open Katz only, Calculators OK, 1hr 20mins) Your Name: NIVERSITY OF CALIFORNIA AT BERKELEY RKELEY DAVIS IRVINE LOS ANGELES RIVERSIDE SAN DIEGO SAN FRANCISCO Department of Electrical Engineering and Computer Sciences SANTA BARBARA SANTA CRUZ CS 150

More information

ON1 Big Mock Test 4 October 2013 Answers This test counts 4% of assessment for the course. Time allowed: 10 minutes

ON1 Big Mock Test 4 October 2013 Answers This test counts 4% of assessment for the course. Time allowed: 10 minutes ON1 Big Mock Test 4 October 2013 Answers This test counts 4% of assessment for the course. Time allowed: 10 minutes The actual test will contain only 2 questions. Marking scheme: In each multiple choice

More information

Chapter 4: Combinational Logic Solutions to Problems: [1, 5, 9, 12, 19, 23, 30, 33]

Chapter 4: Combinational Logic Solutions to Problems: [1, 5, 9, 12, 19, 23, 30, 33] Chapter 4: Combinational Logic Solutions to Problems: [, 5, 9, 2, 9, 23, 3, 33] Problem: 4- Consider the combinational circuit shown in Fig. P4-. (a) Derive the Boolean expressions for T through T 4. Evaluate

More information

Chapter 0. Introduction. An Overview of the Course

Chapter 0. Introduction. An Overview of the Course Chapter 0 Introduction An Overview of the Course In the first part of these notes we consider the problem of calculating the areas of various plane figures. The technique we use for finding the area of

More information

A Digitalized Tractarian World

A Digitalized Tractarian World A Digitalized Tractarian World Sun Bok Bae, Seoul, Korea jaengol@hanmail.net 1. There is a widely accepted opinion that Wittgenstein abandoned the logical atomism in TLP because of the color exclusion

More information

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Name: MthEd/Math 300 Williams Fall 2011 Midterm Exam 2 Closed Book / Closed Note. Answer all problems. You may use a calculator for numerical computations. Section 1: For each event listed in the first

More information

Chapter 4. Combinational: Circuits with logic gates whose outputs depend on the present combination of the inputs. elements. Dr.

Chapter 4. Combinational: Circuits with logic gates whose outputs depend on the present combination of the inputs. elements. Dr. Chapter 4 Dr. Panos Nasiopoulos Combinational: Circuits with logic gates whose outputs depend on the present combination of the inputs. Sequential: In addition, they include storage elements Combinational

More information

Unit 4: Computer as a logic machine

Unit 4: Computer as a logic machine Unit 4: Computer as a logic machine Propositional logic Boolean algebra Logic gates Computer as a logic machine: symbol processor Development of computer The credo of early AI Reference copyright c 2013

More information

Lecture 4 Modeling, Analysis and Simulation in Logic Design. Dr. Yinong Chen

Lecture 4 Modeling, Analysis and Simulation in Logic Design. Dr. Yinong Chen Lecture 4 Modeling, Analysis and Simulation in Logic Design Dr. Yinong Chen The Engineering Design Process Define Problem and requirement Research Define Alternative solutions CAD Modeling Analysis Simulation

More information

http://radicalart.info/physics/vacuum/index.html The Scientific Revolution In the 1500s and 1600s the Scientific Revolution changed the way Europeans looked at the world. People began to make conclusions

More information

AP Calculus AB. Limits & Continuity. Table of Contents

AP Calculus AB. Limits & Continuity.   Table of Contents AP Calculus AB Limits & Continuity 2016 07 10 www.njctl.org www.njctl.org Table of Contents click on the topic to go to that section Introduction The Tangent Line Problem Definition of a Limit and Graphical

More information

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017 3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,

More information

Notes on Polynomials from Barry Monson, UNB

Notes on Polynomials from Barry Monson, UNB Notes on Polynomials from Barry Monson, UNB 1. Here are some polynomials and their degrees: polynomial degree note 6x 4 8x 3 +21x 2 +7x 2 4 quartic 2x 3 +0x 2 + 3x + 2 3 cubic 2 2x 3 + 3x + 2 3 the same

More information

Leibniz and the Discovery of Calculus. The introduction of calculus to the world in the seventeenth century is often associated

Leibniz and the Discovery of Calculus. The introduction of calculus to the world in the seventeenth century is often associated Leibniz and the Discovery of Calculus The introduction of calculus to the world in the seventeenth century is often associated with Isaac Newton, however on the main continent of Europe calculus would

More information

THE LOGIC OF QUANTIFIED STATEMENTS

THE LOGIC OF QUANTIFIED STATEMENTS CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 3.2 Predicates and Quantified Statements II Copyright Cengage Learning. All rights reserved. Negations

More information

UNIVERSITI TENAGA NASIONAL. College of Information Technology

UNIVERSITI TENAGA NASIONAL. College of Information Technology UNIVERSITI TENAGA NASIONAL College of Information Technology BACHELOR OF COMPUTER SCIENCE (HONS.) FINAL EXAMINATION SEMESTER 2 2012/2013 DIGITAL SYSTEMS DESIGN (CSNB163) January 2013 Time allowed: 3 hours

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment

More information

Digital Logic (2) Boolean Algebra

Digital Logic (2) Boolean Algebra Digital Logic (2) Boolean Algebra Boolean algebra is the mathematics of digital systems. It was developed in 1850 s by George Boole. We will use Boolean algebra to minimize logic expressions. Karnaugh

More information

The Scientific Revolution

The Scientific Revolution The Scientific Revolution What is a Revolution? A Revolution is a complete change, or an overthrow of a government, a social system, etc. The Scientific Revolution In the 1500s and 1600s the Scientific

More information

MAT2345 Discrete Math

MAT2345 Discrete Math Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview

More information

Definition 2. Conjunction of p and q

Definition 2. Conjunction of p and q Proposition Propositional Logic CPSC 2070 Discrete Structures Rosen (6 th Ed.) 1.1, 1.2 A proposition is a statement that is either true or false, but not both. Clemson will defeat Georgia in football

More information

Discrete Mathematics and Logic II. Predicate Calculus

Discrete Mathematics and Logic II. Predicate Calculus Discrete Mathematics and Logic II. Predicate Calculus SFWR ENG 2FA3 Ryszard Janicki Winter 2014 Acknowledgments: Material based on A Logical Approach to Discrete Math by David Gries and Fred B. Schneider

More information

Philadelphia University Student Name: Student Number:

Philadelphia University Student Name: Student Number: Philadelphia University Student Name: Student Number: Faculty of Engineering Serial Number: Final Exam, First Semester: 2017/2018 Dept. of Computer Engineering Course Title: Logic Circuits Date: 29/01/2018

More information

ELEMENTS IN MATHEMATICS FOR INFORMATION SCIENCE NO.6 TURING MACHINE AND COMPUTABILITY. Tatsuya Hagino

ELEMENTS IN MATHEMATICS FOR INFORMATION SCIENCE NO.6 TURING MACHINE AND COMPUTABILITY. Tatsuya Hagino 1 ELEMENTS IN MATHEMATICS FOR INFORMATION SCIENCE NO.6 TURING MACHINE AND COMPUTABILITY Tatsuya Hagino hagino@sfc.keio.ac.jp 2 So far Computation flow chart program while program recursive function primitive

More information

Function of Combinational Logic ENT263

Function of Combinational Logic ENT263 Function of Combinational Logic ENT263 Chapter Objectives Distinguish between half-adder and full-adder Use BCD-to-7-segment decoders in display systems Apply multiplexer in data selection Use decoders

More information

Chapter 2: Introduction to Propositional Logic

Chapter 2: Introduction to Propositional Logic Chapter 2: Introduction to Propositional Logic PART ONE: History and Motivation Origins: Stoic school of philosophy (3rd century B.C.), with the most eminent representative was Chryssipus. Modern Origins:

More information

The Arithmetic of Reasoning. Chessa Horomanski & Matt Corson

The Arithmetic of Reasoning. Chessa Horomanski & Matt Corson The Arithmetic of Reasoning LOGIC AND BOOLEAN ALGEBRA Chessa Horomanski & Matt Corson Computers Ask us questions, correct our grammar, calculate our taxes But Misunderstand what we re sure we told them,

More information

January 5, SWBAT explain Newton s first law by describing it in a series of examples.

January 5, SWBAT explain Newton s first law by describing it in a series of examples. January 5, 2017 Aims: SWBAT explain Newton s first law by describing it in a series of examples. Agenda 1. Do Now 2. Class Notes 3. Guided Practice 4. Independent Practice 5. Practicing our AIMS: Homework:

More information

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) September 5, 2002 John Wawrzynek Fall 2002 EECS150 Lec4-bool1 Page 1, 9/5 9am Outline Review of

More information

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

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 EECS 270, Winter 2017, Lecture 1 Page 1 of 6 Use pencil! Say we live in the rather black and white world where things (variables) are either true (T) or false (F). So if S is Mark is going to the Store

More information

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3. CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates

More information

Systems I: Computer Organization and Architecture

Systems I: Computer Organization and Architecture Systems I: Computer Organization and Architecture Lecture 6 - Combinational Logic Introduction A combinational circuit consists of input variables, logic gates, and output variables. The logic gates accept

More information

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) January 30, 2003 John Wawrzynek Outline Review of three representations for combinational logic:

More information

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

More information

What is a Revolution? A Revolution is a complete change, or an overthrow of a government, a social system, etc.

What is a Revolution? A Revolution is a complete change, or an overthrow of a government, a social system, etc. CW10 p374 Vocab What is a Revolution? A Revolution is a complete change, or an overthrow of a government, a social system, etc. The Scientific Revolution In the 1500s and 1600s the Scientific Revolution

More information

Binary addition example worked out

Binary addition example worked out Binary addition example worked out Some terms are given here Exercise: what are these numbers equivalent to in decimal? The initial carry in is implicitly 0 1 1 1 0 (Carries) 1 0 1 1 (Augend) + 1 1 1 0

More information

DE58/DC58 LOGIC DESIGN DEC 2014

DE58/DC58 LOGIC DESIGN DEC 2014 Q.2 a. In a base-5 number system, 3 digit representations is used. Find out (i) Number of distinct quantities that can be represented.(ii) Representation of highest decimal number in base-5. Since, r=5

More information

The logic is straightforward. Adding two 0s will result in 0. Adding two 1s results in 10 where 1 is the carry bit and 0 is the sum bit.

The logic is straightforward. Adding two 0s will result in 0. Adding two 1s results in 10 where 1 is the carry bit and 0 is the sum bit. Adders Half adders Half adders represent the smallest block for adding in digital computers. What they do is very simple: they add two bits, producing a sum and a carry. The logic is straightforward. Adding

More information

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.

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. BOOLEAN ALGEBRA 2.1 Introduction Binary logic deals with variables that have two discrete values: 1 for TRUE and 0 for FALSE. A simple switching circuit containing active elements such as a diode and transistor

More information

PROOFS OF IMPLICATIONS INVOLVING QUANTIFIERS DISTRIBUTION OVER LOGICAL OPERATORS

PROOFS OF IMPLICATIONS INVOLVING QUANTIFIERS DISTRIBUTION OVER LOGICAL OPERATORS PROOFS OF IMPLICATIONS INVOLVING QUANTIFIERS DISTRIBUTION OVER LOGICAL OPERATORS 1 MAHER A. NABULSI, 2 NESREEN A. HAMAD 1,2 Department of Computer Science, Faculty of Science and Information Technology,

More information

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra 4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra To design a digital circuit that will perform a required function, it is necessary to manipulate and combine the various input signals in certain

More information

Slides for Lecture 10

Slides for Lecture 10 Slides for Lecture 10 ENEL 353: Digital Circuits Fall 2013 Term Steve Norman, PhD, PEng Electrical & Computer Engineering Schulich School of Engineering University of Calgary 30 September, 2013 ENEL 353

More information

Predicate Calculus lecture 1

Predicate Calculus lecture 1 Predicate Calculus lecture 1 Section 1.3 Limitation of Propositional Logic Consider the following reasoning All cats have tails Gouchi is a cat Therefore, Gouchi has tail. MSU/CSE 260 Fall 2009 1 MSU/CSE

More information

Part I, Number Systems. CS131 Mathematics for Computer Scientists II Note 1 INTEGERS

Part I, Number Systems. CS131 Mathematics for Computer Scientists II Note 1 INTEGERS CS131 Part I, Number Systems CS131 Mathematics for Computer Scientists II Note 1 INTEGERS The set of all integers will be denoted by Z. So Z = {..., 2, 1, 0, 1, 2,...}. The decimal number system uses the

More information

A Preview Of Calculus & 2.1 Rates of Change

A Preview Of Calculus & 2.1 Rates of Change Math 180 www.timetodare.com A Preview Of Calculus &.1 Rates of Change Calculus is one of the greatest achievements of the human intellect. Inspired by problems in astronomy, Newton and Leibniz developed

More information

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

EECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive EECS150 - Digital Design Lecture 19 - Combinational Logic Circuits : A Deep Dive March 30, 2010 John Wawrzynek Spring 2010 EECS150 - Lec19-cl1 Page 1 Boolean Algebra I (Representations of Combinational

More information

Switches: basic element of physical implementations

Switches: basic element of physical implementations Combinational logic Switches Basic logic and truth tables Logic functions Boolean algebra Proofs by re-writing and by perfect induction Winter 200 CSE370 - II - Boolean Algebra Switches: basic element

More information

Math /Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined

Math /Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined Math 400-001/Foundations of Algebra/Fall 2017 Numbers at the Foundations: Real Numbers In calculus, the derivative of a function f(x) is defined using limits. As a particular case, the derivative of f(x)

More information

CS21 Decidability and Tractability

CS21 Decidability and Tractability CS21 Decidability and Tractability Lecture 20 February 23, 2018 February 23, 2018 CS21 Lecture 20 1 Outline the complexity class NP NP-complete probelems: Subset Sum NP-complete problems: NAE-3-SAT, max

More information

What is Binary? Digital Systems and Information Representation. An Example. Physical Representation. Boolean Algebra

What is Binary? Digital Systems and Information Representation. An Example. Physical Representation. Boolean Algebra What is Binary? Digital Systems and Information Representation CSE 102 Underlying base signals are two valued: 0 or 1 true or false (T or F) high or low (H or L) One bit is the smallest unambiguous unit

More information

Building a Computer Adder

Building a Computer Adder Logic Gates are used to translate Boolean logic into circuits. In the abstract it is clear that we can build AND gates that perform the AND function and OR gates that perform the OR function and so on.

More information

Rules for Differentiation Finding the Derivative of a Product of Two Functions. What does this equation of f '(

Rules for Differentiation Finding the Derivative of a Product of Two Functions. What does this equation of f '( Rules for Differentiation Finding the Derivative of a Product of Two Functions Rewrite the function f( = ( )( + 1) as a cubic function. Then, find f '(. What does this equation of f '( represent, again?

More information

Section Summary. Section 1.5 9/9/2014

Section Summary. Section 1.5 9/9/2014 Section 1.5 Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements into Statements involving Nested Quantifiers Translated

More information

Digital Logic Design ENEE x. Lecture 14

Digital Logic Design ENEE x. Lecture 14 Digital Logic Design ENEE 244-010x Lecture 14 Announcements Homework 6 due today Agenda Last time: Binary Adders and Subtracters (5.1, 5.1.1) Carry Lookahead Adders (5.1.2, 5.1.3) This time: Decimal Adders

More information

Algorithms. Shanks square forms algorithm Williams p+1 Quadratic Sieve Dixon s Random Squares Algorithm

Algorithms. Shanks square forms algorithm Williams p+1 Quadratic Sieve Dixon s Random Squares Algorithm Alex Sundling Algorithms Shanks square forms algorithm Williams p+1 Quadratic Sieve Dixon s Random Squares Algorithm Shanks Square Forms Created by Daniel Shanks as an improvement on Fermat s factorization

More information

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic

CSE 20 Discrete Math. Algebraic Rules for Propositional Formulas. Summer, July 11 (Day 2) Number Systems/Computer Arithmetic Predicate Logic CSE 20 Discrete Math Algebraic Rules for Propositional Formulas Equivalences between propositional formulas (similar to algebraic equivalences): Associative Summer, 2006 July 11 (Day 2) Number Systems/Computer

More information

Z = F(X) Combinational circuit. A combinational circuit can be specified either by a truth table. Truth Table

Z = F(X) Combinational circuit. A combinational circuit can be specified either by a truth table. Truth Table Lesson Objectives In this lesson, you will learn about What are combinational circuits Design procedure of combinational circuits Examples of combinational circuit design Combinational Circuits Logic circuit

More information

Limits and Continuity

Limits and Continuity Chapter 1 Limits and Continuity 1.1 Introduction 1.1.1 What is Calculus? The origins of calculus can be traced back to ancient Greece. The ancient Greeks raised many questions about tangents, motion, area,

More information

ADVANCED PROGRAMME MATHEMATICS: PAPER I MODULE 1: CALCULUS AND ALGEBRA

ADVANCED PROGRAMME MATHEMATICS: PAPER I MODULE 1: CALCULUS AND ALGEBRA GRADE 12 EXAMINATION NOVEMBER 2016 ADVANCED PROGRAMME MATHEMATICS: PAPER I MODULE 1: CALCULUS AND ALGEBRA Time: 2 hours 200 marks PLEASE READ THE FOLLOWING INSTRUCTIONS CAREFULLY 1. This question paper

More information

Digital Electronics Final Examination. Part A

Digital Electronics Final Examination. Part A Digital Electronics Final Examination Part A Spring 2009 Student Name: Date: Class Period: Total Points: /50 Converted Score: /40 Page 1 of 13 Directions: This is a CLOSED BOOK/CLOSED NOTES exam. Select

More information

Combinational Logic. Jee-Hwan Ryu. School of Mechanical Engineering Korea University of Technology and Education

Combinational Logic. Jee-Hwan Ryu. School of Mechanical Engineering Korea University of Technology and Education MEC5 디지털공학 Combinational Logic Jee-Hwan Ryu School of Mechanical Engineering Combinational circuits Outputs are determined from the present inputs Consist of input/output variables and logic gates inary

More information

The Error in an Alternating Series

The Error in an Alternating Series The Error in an Alternating Series arxiv:1511.08568v1 [math.ca] 27 Nov 2015 1 Introduction Mathematicians have studied the alternating series ( 1) n 1 a n = a 1 a 2 +a 3 a 4 + (1) n=1 since the dawn of

More information

Why digital? Overview. Number Systems. Binary to Decimal conversion

Why digital? Overview. Number Systems. Binary to Decimal conversion Why digital? Overview It has the following advantages over analog. It can be processed and transmitted efficiently and reliably. It can be stored and retrieved with greater accuracy. Noise level does not

More information

Review Getting the truth table

Review Getting the truth table Digital Circuits Review Getting the truth table The first step in designing a digital circuit usually is to get the truth table. That is, for every input combination, figure out what an output bit should

More information