Figure 2.6. A truth table for the AND and OR operations. 2.3 Truth Tables 1.

Slides:



Advertisements
Similar presentations
Boolean Algebra and Logic Gates
Advertisements

INTRODUCTION LOGICAL OPERATIONS TRUTH TABLE AND RULES.
Presented by: Ms. Maria Estrellita D. Hechanova, ECE
Introduction to Logic Circuits
Lecture 5 EGRE 254 1/28/09. 2 Boolean algebra a.k.a. “switching algebra” –deals with Boolean values -- 0, 1 Positive-logic convention –analog voltages.
Chapter 2 Logic Circuits.
ECE 331 – Digital System Design Boolean Algebra (Lecture #3) The slides included herein were taken from the materials accompanying Fundamentals of Logic.
SYEN 3330 Digital SystemsJung H. Kim Chapter SYEN 3330 Digital Systems Chapter 2 -Part 2.
Boolean Algebra Discussion D6.1 Sections 13-3 – 13-6.
Boolean Algebra Module M4.1 Section 5.1. Boolean Algebra and Logic Equations Switching Algebra Theorems Venn Diagrams.
Boolean Algebra Discussion D6.1 Appendix G. Boolean Algebra and Logic Equations George Boole Boolean Algebra Theorems Venn Diagrams.
Boolean Algebra Discussion D2.2. Boolean Algebra and Logic Equations George Boole Switching Algebra Theorems Venn Diagrams.
ENGIN112 L5: Boolean Algebra September 12, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 5 Boolean Algebra.
Chapter 2: Boolean Algebra and Logic Functions
Boolean Algebra. Binary Logic and Gates Binary variables take on one of two values. Logical operators operate on binary values and binary variables. Basic.
Gate Circuits and Boolean Equations BIL- 223 Logic Circuit Design Ege University Department of Computer Engineering.
Boolean Algebra – I. Outline  Introduction  Digital circuits  Boolean Algebra  Two-Valued Boolean Algebra  Boolean Algebra Postulates  Precedence.
Binary Logic and Gates Binary variables take on one of two values.
DeMorgan Theorem, Computer Simulation Exercises
ECE 331 – Digital System Design
1 Section 10.2 Boolean Algebra Motivation: Notice the list of corresponding properties for the algebra of sets and the algebra of propositional wffs. These.
Digital Systems: Boolean Algebra and Logic Gates
CS/EE 3700 : Fundamentals of Digital System Design Chris J. Myers Lecture 2: Intro. to Logic Circuits Chapter 2.
Module 4.  Boolean Algebra is used to simplify the design of digital logic circuits.  The design simplification are based on: Postulates of Boolean.
ECE 301 – Digital Electronics Basic Logic Operations, Boolean Expressions, and Boolean Algebra (Lecture #3)
Binary Logic Section 1.9. Binary Logic Binary logic deals with variables that take on discrete values (e.g. 1, 0) and with operations that assume logical.
KFUPM COE 202: Digital Logic Design Combinational Logic Part 1 Courtesy of Dr. Ahmad Almulhem.
Dale Roberts Department of Computer and Information Science, School of Science, IUPUI Dale Roberts, Lecturer Computer Science, IUPUI
Lecture 4 Boolean Algebra. Logical Statements °A proposition that may or may not be true: Today is Monday Today is Sunday It is raining °Compound Statements.
Logic Circuits Lecture 3 By Amr Al-Awamry. Basic Definitions Binary Operators  AND z = x y = x yz=1 if x=1 AND y=1  OR z = x + y z=1 if x=1 OR y=1 
Boolean Algebra and Logic Gates CSE-1108 Ahsanullah University of Science and Technology (AUST)
CEC 220 Digital Circuit Design Boolean Algebra I Wed, Sept 2 CEC 220 Digital Circuit Design Slide 1 of 13.
Binary Logic and Gates Boolean Algebra Canonical and Standard Forms Chapter 2: Boolean Algebra and Logic Gates.
CEC 220 Digital Circuit Design Boolean Algebra Friday, January 17 CEC 220 Digital Circuit Design Slide 1 of 22.
Chapter 4 Fundamentals of Computer Logic 1 Chapter 4: Fundamental of Computer Logic - IE337.
1/16/ CSEE, UQ Lecture 3 Hardware Description Methods, Review of Switching Algebra.
Module –I Boolean Algebra Digital Design Amit Kumar Assistant Professor SCSE, Galgotias University, Greater Noida.
Ahmad Almulhem, KFUPM 2009 COE 202: Digital Logic Design Combinational Logic Part 1 Dr. Ahmad Almulhem ahmadsm AT kfupm Phone: Office:
CEC 220 Digital Circuit Design Boolean Algebra II Fri, Sept 4 CEC 220 Digital Circuit Design Slide 1 of 13.
Boolean Algebra Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), perfected in the late 19th.
Boolean Algebra. BOOLEAN ALGEBRA Formal logic: In formal logic, a statement (proposition) is a declarative sentence that is either true(1) or false (0).
DIGITAL ELECTRONICS. Everything in digital world is based on binary system. Numerically it involves only two symbols 0 or 1. –0 = False = No –1 = True.
CSE 461. Binary Logic Binary logic consists of binary variables and logical operations. Variables are designated by letters such as A, B, C, x, y, z etc.
CHAPTER 2 Boolean algebra and Logic gates
Chapter 12. Chapter Summary Boolean Functions Representing Boolean Functions Logic Gates Minimization of Circuits (not currently included in overheads)
ECE 301 – Digital Electronics
Chapter 11 (Part 1): Boolean Algebra
Chapter 2: Boolean Algebra and Logic Functions
14:332:231 DIGITAL LOGIC DESIGN Boolean Algebra
ECE 20B, Winter 2003 Introduction to Electrical Engineering, II LECTURE NOTES #2 Instructor: Andrew B. Kahng (lecture)
Logic Gates and Boolean Algebra
CS 105 Digital Logic Design
Gate Circuits and Boolean Equations
CHAPTER 2 Boolean Algebra
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Overview Part 1 – Gate Circuits and Boolean Equations
TN 221: DIGITAL ELECTRONICS 1
ECE/CS 352 Digital Systems Fundamentals
Boolean Algebra.
Boolean Algebra.
Boolean Algebra & Logic Circuits
Chapter 2 Boolean Algebra and Logic Gate
February 7, 2002 John Wawrzynek
Boolean Algebra Introduction CSCI 240
Instructor: Alexander Stoytchev
Introductory Concepts
BOOLEAN ALGEBRA.
ECE Digital Electronics
Digital Systems Section 3 Boolean Algebra. Digital Systems Section 3 Boolean Algebra.
Boolean Algebra S.SADHISH PRABHU.
Presentation transcript:

Figure 2.6. A truth table for the AND and OR operations. 2.3 Truth Tables 1

Figure 2.7. Three-input AND and OR operations. 2

x 1 x 2 x n x 1 x 2  x n +++ x 1 x 2 x 1 x 2 + (b) OR gates x x (c) NOT gate Figure 2.8. The basic gates. (a) AND gates x 1 x 2 x n x 1 x 2 x 1 x 2 x 1 x 2  x n 2.4 Logic Gates and networks 3

Figure 2.9. The function from Figure 2.4. x 1 x 2 x 3 fx 1 x 2 +  x 3  = 4 S Power supplyS Light S X1X1 X2X2 X3X3

An example of logic networks 5 x 1 x  f 0001  1101  0011  0101  A B x 1 x 2 fx 1 x 2,() (b) Truth table A B

Example (Cont’): timing diagram x 1 x 2 A B f Time (c) Timing diagram x 1 x  f 0001  1101  0011  0101  A B

Example (Cont’): another network with same logic behavior at I/O  0011  1101  0101  g x 1 x 2

2.5 Boolean Algebra – foundation for modern digital technology In 1849, first published by George Boole for the algebraic description of processes involved in logical thought and reasoning. In late 1930’s, Claude Shannon show that Boolean algebra provides an effective means of describing circuits built with switches. –-> Algebra is a powerful tool for designing and analyzing logic circuits. 8

Axioms of Boolean algebra 9

Single-variable theorems 10

Principle of duality Given a logic expression, its dual is obtained –by replacing all + operators with ∙ operators, and vice versa. –By replacing all 0s with 1s, and vice versa. The dual of any true statement (axioms or theorems) in Boolean algebra is also true. –Later on, we will show that duality implies that at least two different ways exist to express every logic function with Boolean algebra Often, one expression leads to a simpler physical implementation. 11

DeMorgan’s Theorem 12 xyx+y

Two- and Three- Variable properties commutative 10a x ∙ y = y ∙ x 10b x + y = y + x Associative 11a x ∙ (y ∙ z) = (x ∙ y) ∙ z 11b x + (y + z) = (x + y) + z Distributive 12a x ∙ (y + z) = x ∙ y + x ∙ z 12b x + y ∙ z = (x + y) ∙ (x + z) Absorption 13a x + x ∙ y = x 13b x ∙ (x+y) = x 13