Introduction to Boolean Algebra

Similar documents
Introduction to Boolean Algebra

SYNERGY INSTITUTE OF ENGINEERING & TECHNOLOGY,DHENKANAL LECTURE NOTES ON DIGITAL ELECTRONICS CIRCUIT(SUBJECT CODE:PCEC4202)

ENGIN 112 Intro to Electrical and Computer Engineering

Boolean Algebra. P1. The OR operation is closed for all x, y B x + y B

Computer Science. Unit-4: Introduction to Boolean Algebra

Unit-IV Boolean Algebra

Chapter 2 Boolean algebra and Logic Gates

UNIT 2 BOOLEAN ALGEBRA

Dr. Chuck Cartledge. 10 June 2015

CS February 17

IT 201 Digital System Design Module II Notes

Permutation Matrices. Permutation Matrices. Permutation Matrices. Permutation Matrices. Isomorphisms of Graphs. 19 Nov 2015

Boolean Analysis of Logic Circuits

Circuit analysis summary

Lecture (04) Boolean Algebra and Logic Gates

Lecture (04) Boolean Algebra and Logic Gates By: Dr. Ahmed ElShafee

X Y Z F=X+Y+Z

Chapter 3. Boolean Algebra and Digital Logic

UNIT-4 BOOLEAN LOGIC. NOT Operator Operates on single variable. It gives the complement value of variable.

Bawar Abid Abdalla. Assistant Lecturer Software Engineering Department Koya University

BOOLEAN ALGEBRA. Logic circuit: 1. From logic circuit to Boolean expression. Derive the Boolean expression for the following circuits.

Boolean algebra. June 17, Howard Huang 1

Propositional Calculus: Boolean Algebra and Simplification. CS 270: Mathematical Foundations of Computer Science Jeremy Johnson

(Refer Slide Time 3:31)

Binary logic. Dr.Abu-Arqoub

Experiment 4 Boolean Functions Implementation

Boolean Algebra A B A AND B = A*B A B A OR B = A+B

[Ch 6] Set Theory. 1. Basic Concepts and Definitions. 400 lecture note #4. 1) Basics

Chapter 2. Boolean Expressions:

Bawar Abid Abdalla. Assistant Lecturer Software Engineering Department Koya University

Computer Engineering Chapter 3 Boolean Algebra

Assignment (3-6) Boolean Algebra and Logic Simplification - General Questions

Variable, Complement, and Literal are terms used in Boolean Algebra.

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 9 Normal Forms

Boolean Algebra and Logic Gates

Designing Computer Systems Boolean Algebra

Software Engineering 2DA4. Slides 2: Introduction to Logic Circuits

Logic Design: Part 2

Menu. Algebraic Simplification - Boolean Algebra EEL3701 EEL3701. MSOP, MPOS, Simplification

Boolean Algebra & Digital Logic

Propositional Calculus. CS 270: Mathematical Foundations of Computer Science Jeremy Johnson

BOOLEAN ALGEBRA. 1. State & Verify Laws by using :

Introduction to Computer Architecture

Experiment 3: Logic Simplification

Boolean Logic CS.352.F12

Chapter 3 Boolean Algebra

LECTURE 2 An Introduction to Boolean Algebra

Objectives: 1- Bolean Algebra. Eng. Ayman Metwali

Module -7. Karnaugh Maps

Review. EECS Components and Design Techniques for Digital Systems. Lec 05 Boolean Logic 9/4-04. Seq. Circuit Behavior. Outline.

Summary. Boolean Addition

CSC Discrete Math I, Spring Sets

CS6201 DIGITAL PRINCIPLES AND SYSTEM DESIGN Lecture Notes

At this point in our study of digital circuits, we have two methods for representing combinational logic: schematics and truth tables.

BOOLEAN ALGEBRA AND CIRCUITS

Combinational Logic & Circuits

TA: Jade Cheng ICS 241 Recitation Lecture Notes #12 November 13, 2009

Spring 2010 CPE231 Digital Logic Section 1 Quiz 1-A. Convert the following numbers from the given base to the other three bases listed in the table:

Boolean Functions (10.1) Representing Boolean Functions (10.2) Logic Gates (10.3)

Propositional Calculus. Math Foundations of Computer Science

Announcements. Chapter 2 - Part 1 1

Definitions. 03 Logic networks Boolean algebra. Boolean set: B 0,

Chapter 2 Combinational Logic Circuits

Chapter 2. Boolean Algebra and Logic Gates

LSN 4 Boolean Algebra & Logic Simplification. ECT 224 Digital Computer Fundamentals. Department of Engineering Technology

2.6 BOOLEAN FUNCTIONS

Operations and Properties

Read this before starting!

Algebra of Sets. Aditya Ghosh. April 6, 2018 It is recommended that while reading it, sit with a pen and a paper.

Boolean Algebra. BME208 Logic Circuits Yalçın İŞLER

Lecture 5. Chapter 2: Sections 4-7

All arithmetic operations performed with Boolean quantities have but one of two possible

24 Nov Boolean Operations. Boolean Algebra. Boolean Functions and Expressions. Boolean Functions and Expressions

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. Numbers & Number Systems

Section 1.8. Simplifying Expressions

2.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

COMP combinational logic 1 Jan. 18, 2016

Information Science 1

Introduction to Boolean logic and Logical Gates

CSE 140 Homework One

CS8803: Advanced Digital Design for Embedded Hardware

Standard Boolean Forms

4&5 Binary Operations and Relations. The Integers. (part I)

1. Mark the correct statement(s)

Read this before starting!

Standard Forms of Expression. Minterms and Maxterms

Combinational Circuits Digital Logic (Materials taken primarily from:

2008 The McGraw-Hill Companies, Inc. All rights reserved.

3. According to universal addressing, what is the address of vertex d? 4. According to universal addressing, what is the address of vertex f?

x = 12 x = 12 1x = 16

Software and Hardware

Lecture (05) Boolean Algebra and Logic Gates

DIGITAL SYSTEM DESIGN

SWITCHING THEORY AND LOGIC CIRCUITS

DeMorgan's Theorem. George Self. 1 Introduction

Section 2.2: Introduction to the Logic of Quantified Statements

DIGITAL ELECTRONIC CIRCUITS

VEL TECH HIGH TECH DR.RANGARAJAN DR.SAKUNTHALA ENGINEERING COLLEGE. CS8351: Digital Principles and System Design

Cambridge International AS & A Level Computer Science

R.M.D. ENGINEERING COLLEGE R.S.M. Nagar, Kavaraipettai

Transcription:

Introduction to Boolean Algebra Boolean algebra which deals with two-valued (true / false or and ) variables and functions find its use in modern digital computers since they too use two-level systems called binary systems. Let us examine the following statement:"i will buy a car If I get a salary increase or I win the lottery." This statement explains the fact that the proposition "buy a car" depends on two other propositions "get a salary increase" and "win the lottery". Any of these propositions can be either true or false hence the table of all possible situations: Salary Increase Win Lottery Buy a car = Salary Increase or Win Lottery False False False False / 9

True True True False True True True True The mathematician George Boole, hence the name Boolean algebra, used for true, for false and + for the or connective to write simpler tables. Let X = "get a salary increase", Y = "win the lottery" and F = "buy a car". The above table can be written in much simpler form as shown below and it defines the OR function. X 2 / 9

Y F = X + Y 3 / 9

Let us now examine the following statement:"i will be able to read e-books online if I buy a computer and get an internet connection." The proposition "read e-books" depends on two other propositions "buy a computer" and "get an internet connection". Again using for True, for False, F = "read e-books", X = "buy a computer", Y = "get an internet connection" and use. for the connective and, we can write all possible situations using Boolean algebra as shown below. The above table can be written in much simpler form as shown below and it defines the AND function. X Y F = X. Y 4 / 9

5 / 9

We have so far defined two operators: OR written as + and AND written.. The third operator in Boolean algebra is the NOT operator which inverts the input. Whose table is given below where NOT X is written as X'. X NOT X = X' The 3 operators are the basic operators used in Boolean algebra and from which more complicated Boolean expressions may be written. Example: F = X. (Y + Z) Truth Tables Truth tables are a means of representing the results of a logic function using a table. They are constructed by defining all possible combinations of the inputs to a function, and then calculating the output for each combination in turn. For the three functions we have just defined, the truth tables are as follows. 6 / 9

AND X Y F(X,Y) 7 / 9

OR X Y F(X,Y) 8 / 9

9 / 9

NOT X F(X) Truth tables may contain as many input variables as desired F(X,Y,Z) = X.Y + Z X Y / 9

Z F(X,Y,Z) / 9

2 / 9

3 / 9

Different Properties or Laws of Boolean Algebra A "property" or a "law," describes how differing variables relate to each other in a system of numbers. Commutative Property It applies equally to addition and multiplication. In essence, the commutative property tells us we can reverse the order of variables that are either added together or multiplied together without changing the truth of the expression. Associative Property This property tells us we can associate groups of added or multiplied variables together with parentheses without altering the truth of the equations. 4 / 9

Distributive Property Distributive Property, illustrating how to expand a Boolean expression formed by the product of a sum, and in reverse shows us how terms may be factored out of Boolean sums-of-products. To summarize, here are the three basic properties: commutative, associative, and distributive. Identities In mathematics, an identity is a statement true for all possible values of its variable or variables. The algebraic identity of x + = x tells us that anything (x) added to zero equals the original "anything," no matter what value that "anything" (x) may be. Boolean algebra has its own unique identities based on the bivalent states of Boolean variables. Inverse 5 / 9

Another identity having to do with complementation is that of the double complement: a variable inverted twice. Complementing a variable twice (or any even number of times) results in the original Boolean value. This is analogous to negating (multiplying by -) in real-number algebra: an even number of negations cancel to leave the original value. Duality Principle In Boolean algebras the duality Principle can be is obtained by interchanging AND and OR operators and replacing 's by 's and 's by 's. Compare the identities on the left side with the identities on the right. Example X.Y+Z' = (X'+Y').Z Indempotent Law An input AND ed with itself or OR ed with itself is equal to that input.. A + A = A, A variable OR'ed with itself is always equal to the variable. 2. A. A = A, A variable AND'ed with itself is always equal to the variable. Involution Law: 6 / 9

A =A When A=, A =, A = ==A When A=, A =, A = ==A Thus A =A Absorption Law: (i) A+AB=A LHS=A+AB=A.+A.B=A(+B)+A(B+)=A.=A=RHS (ii) A.(A+B)=A LHS=A.)A+B)=A.A+A.B=A+A.B=A+A.B=A(+B)=A.=A=RHS Complementary Law A term ANDed with its complement equals, and a term ORed with its complement equals 7 / 9

AA' = A+A' = De Morgan s Theorem De Morgan was a great logician and Mathematician, as well as a friend of Charles Boole. The theorems given by De Morgan are associated with Boolean algebra. First Theorem: The complement of a sum equals to the product of the complements. (A+B) =A.B Proof: LHS= (A+B) = (+) = = RHS=A.B =. =.= Second Theorem: The complement of a product equals the sum of the complements. Proof: 8 / 9

LHS = (A.B) = (.) = = RHS = A + B = + = + = Summary of Boolean indetities 9 / 9