Lecture 4 Topics Boolean Algebra Huntington’s Postulates Truth Tables

Slides:



Advertisements
Similar presentations
Boolean Algebra and Logic Gates
Advertisements

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.
CS 151 Digital Systems Design Lecture 6 More Boolean Algebra A B.
Chapter 2: Boolean Algebra and Logic Functions
طراحی مدارهای منطقی نیمسال دوم دانشگاه آزاد اسلامی واحد پرند.
CHAPTER 2 Boolean Algebra
1 Representation of Logic Circuits EE 208 – Logic Design Chapter 2 Sohaib Majzoub.
ECE 331 – Digital System Design
Combinational Logic 1.
Logic Gates. Outline  Logic Gates  The Inverter  The AND Gate  The OR Gate  The NAND Gate  The NOR Gate  The XOR Gate  The XNOR Gate  Drawing.
Lecture 4 Nand, Nor Gates, CS147 Circuit Minimization and
LOGIC GATES & BOOLEAN ALGEBRA
ECE 301 – Digital Electronics Basic Logic Operations, Boolean Expressions, and Boolean Algebra (Lecture #3)
--- outputs logical functions of inputs --- new outputs appear shortly after changed inputs (propagation delay) --- no feedback loops --- no clock Sequential.
ENGIN112 L6: More Boolean Algebra September 15, 2003 ENGIN 112 Intro to Electrical and Computer Engineering Lecture 6 More Boolean Algebra A B.
1 EENG 2710 Chapter 2 Algebraic Methods For The Analysis and Synthesis of Logic circuits.
1 Lect # 2 Boolean Algebra and Logic Gates Boolean algebra defines rules for manipulating symbolic binary logic expressions. –a symbolic binary logic expression.
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
ECE 171 Digital Circuits Chapter 4 Boolean Algebra Herbert G. Mayer, PSU Status 2/1/2016 Copied with Permission from prof. Mark PSU ECE.
ECE DIGITAL LOGIC LECTURE 6: BOOLEAN ALGEBRA Assistant Prof. Fareena Saqib Florida Institute of Technology Fall 2016, 02/01/2016.
Lecture 5 More Boolean Algebra A B. Overview °Expressing Boolean functions °Relationships between algebraic equations, symbols, and truth tables °Simplification.
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.
Mu.com.lec 9. Overview Gates, latches, memories and other logic components are used to design computer systems and their subsystems Good understanding.
CHAPTER 2 Boolean algebra and Logic gates
ECE 301 – Digital Electronics
Logic Gates and Logic Circuits
Chapter 11 (Part 1): Boolean Algebra
Lecture 4 Nand, Nor Gates, CS147 Circuit Minimization and
Chapter 2: Boolean Algebra and Logic Functions
14:332:231 DIGITAL LOGIC DESIGN Boolean Algebra
ECE 2110: Introduction to Digital Systems
Unit 2 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
Lecture 6 Topics Combinational Logic Circuits
Gate Circuits and Boolean Equations
CHAPTER 3 BOOLEAN ALGEBRA (continued)
CHAPTER 2 Boolean Algebra
CHAPTER 2 Boolean Algebra This chapter in the book includes:
Overview Part 1 – Gate Circuits and Boolean Equations
Princess Sumaya University
Boolean Algebra – Part 1 ECEn 224.
Lecture 2-1 Boolean Algebra
Lecture 6 Topics Combinational Logic Circuits
CHAPTER 2 Boolean Algebra
Boolean Algebra Why study Boolean Algebra?
CSE 311 Foundations of Computing I
Modified from John Wakerly Lecture #2 and #3
Boolean Algebra.
Lecture 3 Boolean algebra
Boolean Algebra.
Boolean Algebra & Logic Circuits
Lecture 14: Boolean Algebra
Chapter 2 Boolean Algebra and Logic Gate
Lecture 4 Topics Boolean Algebra Huntington’s Postulates Truth Tables
Functions Computers take inputs and produce outputs, just like functions in math! Mathematical functions can be expressed in two ways: We can represent.
February 7, 2002 John Wawrzynek
Copied with Permission from prof. Mark PSU ECE
Boolean Algebra.
CHAPTER 3 BOOLEAN ALGEBRA (continued)
EE121 John Wakerly Lecture #3
Digital Logic Chapter-2
Digital Logic Chapter-2
BOOLEAN ALGEBRA.
Boolean Algebra and Gate Networks
Circuit Simplification and
Presentation transcript:

Lecture 4 Topics Boolean Algebra Huntington’s Postulates Truth Tables Graphic Symbols Boolean Algebra Theorems

Boolean Algebra From Vahid

Boolean Algebra A fire sprinkler system should spray water if high heat is sensed and the system is set to enabled Let Boolean variable h represent “high heat is sensed,” e represent “enabled,” and F represent “spraying water.” Then an equation is: F = h AND e A car alarm should sound if the alarm is enabled, and either the car is shaken or the door is opened Let a represent “alarm is enabled,” s represent “car is shaken,” d represent “door is opened,” and F represent “alarm sounds.” Then an equation is: F = a AND (s OR d) Assuming that our door sensor d represents “door is closed” instead of open (meaning d=1 when the door is closed, 0 when open), we obtain the following equation: F = a AND (s OR NOT(d)) From Vahid

Boolean Algebra (History) 384-322 BC: Aristotle, foundations of logic 1854: George Boole, An Investigation of the Laws of Thought (mathematical methods for two-valued logic) 1904: H.E. Huntington, Sets of Independent Postulates for the Algebra of Logic 1938: Claude Shannon, A Symbolic Analysis of Relay Switching Circuits Originals of two-valued logic go back at least as far as Aristotle. Further refined and formalized by George Boole (from which we get “Boolean logic”). Set of postulates articulated by Huntington. Shannon (MIT MS thesis) showed their realization in switching circuits (relays to semiconductors).

Boolean Algebra Postulates (Axioms) Values Variables Operators Accepted as true; Foundation for further proofs Values B = {0, 1} Variables A,B,C X,Y,Z Ready, Green, OverWeightLimit Operators + ×  Additional Operators () =

Huntington’s Postulates (I)

Boolean Algebra Literals Expressions Precedence Variable or Complement of Variable X,DoorOpen, Green, Green Expressions Constants (0,1), Literals, Operators (X + Y×Z), A + B Precedence Complement ( ) , AND (×), OR (+) () Can be used to modify order

Operators Complement (NOT) OR AND A’ /A !A ØA ~A A A + B A | B A Ú B A * B A & B A × B A Ù B For typographical convenience, you’ll see many variations on the symbols used to represent these operations.

Truth Tables (NOT)

Graphic Symbols Fan-in (NOT)

Additional Operators NOR NAND A + B A | B A Ú B A * B A & B A × B A Ù B For typographical convenience, you’ll see many variations on the symbols used to represent these operations.

Truth Tables X Y X + Y 0 0 1 0 1 0 1 0 0 1 1 0 X Y X × Y 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 X Y X × Y 0 0 1 0 1 1 1 0 1 1 1 0 NOR operator NAND operator

Graphic Symbols

Additional Operators: XOR and XNOR XOR (Exclusive OR, Modulo 2) A Å B XNOR (Exclusive NOR, Equivalence) For typographical convenience, you’ll see many variations on the symbols used to represent these operations.

Truth Tables X Y X Å Y 0 0 0 0 1 1 1 0 1 1 1 0 X Y X Å Y 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 X Y X Å Y 0 0 1 0 1 0 1 0 0 1 1 1 XOR operator XNOR operator

Graphic Symbols

Boolean Functions Product Terms Sum Terms Sum of Products (SOP) Comprised of literals (including complements), AND X×Y×Z A×B×C Sum Terms Comprised of literals (including complements), OR X + Y + Z A + B + C Sum of Products (SOP) X×Y + X×Z -- note: parentheses not needed Product of Sums (POS) (X + Y) × (X + Z) F(X,Y,Z) = Boolean function of 3 variables: X,Y,Z

Truth Tables Question: How many rows are there in a truth table for n variables? 2n 1 2 3 . 63 26 = 64 B5 B4 B3 B2 B1 B0 F 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 . 1 1 1 1 1 1 1 As many rows as unique combinations of inputs Enumerate by counting in binary

Boolean Algebra -- Manipulation Simplify Literal Count Reduction Reduce Number of Terms Transform: Put in Preferred Form AND/OR NAND/NOR Can apply Huntington’s Postulates and Theorems to Simplify or Transform Boolean equations

Reducing Number of Terms F = (X + Y) × (X + Z) = X + Y×Z Huntington’s Postulate P4a Next slide has theorems of Boolean Logic. Don’t have to memorize these, but should be able to apply them

Boolean Theorems

Boolean Theorems: let us discuss each of them

Boolean Theorems (cont)

Literal Count Reduction F = X×Y + X + Y×Z = Y + X + Y×Z = Y + X Simplification Theorem Absorption Theorem Simplification Theorem X×Y + X = Y + X Y + Y×Z= Y(1+Z) = Y× 1 = Y Absorption Theorem Y + Y×Z = Y

From implementation with NAND gate to NOR and Inverters De Morgan’s Theorems F = X × Y × Z = X + Y + Z deMorgan’s Theorem F = X + Y + Z = X × Y × Z deMorgan’s Theorem From implementation with NAND gate to NOR and Inverters

Proofs Using Boolean Algebra Prove: X + X = X X + X = (X + X) × 1 Huntington P2b: X × 1 = X = (X + X) × (X + X) Huntington P5a: X + X = 1 = X + X×X Huntington P4a: X + YZ = (X + Y) × (X + Z) = X + 0 Huntington P5b: X × X = 0 = X Huntington P2a: X + 0 = X Using Principle of Perfect Induction Truth Tables! Q.E.D.

Principle of Perfect Induction Prove: X×Y + X×Z + Y×Z = X×Y + X×Z X Y Z X×Y X×Z Y×Z X×Y X×Z 0 0 0 0 + 0 + 0 = 0 0 + 0 = 0 0 0 1 0 + 1 + 0 = 1 0 + 1 = 1 0 1 0 0 + 0 + 0 = 0 0 + 0 = 0 0 1 1 0 + 1 + 1 = 1 0 + 1 = 1 1 0 0 0 + 0 + 0 = 0 0 + 0 = 0 1 0 1 0 + 0 + 0 = 0 0 + 0 = 0 1 1 0 1 + 0 + 0 = 1 1 + 0 = 1 1 1 1 1 + 0 + 1 = 1 1 + 0 = 1

Prof. Mark G. Faust John Wakerly Sources Prof. Mark G. Faust John Wakerly