KNURE, Software department, Ph. 7021-446, N.V. Bilous Faculty of computer sciences Software department, KNURE Boolean Algebra.

Slides:



Advertisements
Similar presentations
Digital Systems: Logic Gates and Boolean Algebra Wen-Hung Liao, Ph.D.
Advertisements

INTRODUCTION LOGICAL OPERATIONS TRUTH TABLE AND RULES.
KNURE, Software department, Ph , N.V. Bilous Faculty of computer sciences Software department, KNURE Transportation.
KNURE, Software department, Ph , N.V. Bilous Faculty of computer sciences Software department, KNURE An Euler.
Sahar Mosleh PageCalifornia State University San Marcos 1 Introductory Concepts This section of the course introduces the concept of digital circuits and.
Chapter 2 Logic Circuits.
CS128 – Discrete Mathematics for Computer Science
1 2. Constraint Databases Next level of data abstraction: Constraint level – finitely represents by constraints the logical level.
Digital Systems Logic Gates and Boolean Algebra
Boolean Algebra and Logic Gates1 DIGITAL LOGIC DESIGN by Dr. Fenghui Yao Tennessee State University Department of Computer Science Nashville, TN.
Lecture 3. Boolean Algebra, Logic Gates
Combinational Digital Circuits. Measurement Our world is an analog world. Measurements that we make of the physical objects around us are never in discrete.
01 March 2009Instructor: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Introduction.
Digital Logic Design ESGD2201
ХНУРЭ,кафедра ПО ЭВМ, Тел , N.V. Bilous Факультет компьютерных наук Кафедра ПО ЭВМ, ХНУРЭ Discrete mathematics.
Adapted from Discrete Math
Binary Logic and Gates COE 202 Digital Logic Design Dr. Aiman El-Maleh
Section Section Summary Introduction to Boolean Algebra Boolean Expressions and Boolean Functions Identities of Boolean Algebra Duality The Abstract.
3. DIGITAL ELECTRONICS..
Chapter 10.1 and 10.2: Boolean Algebra Based on Slides from Discrete Mathematical Structures: Theory and Applications.
UNIT-8 LOGIC GATES.
Discrete Mathematics and Its Applications
Logical Circuit Design Week 5: Combinational Logic Circuits Mentor Hamiti, MSc Office ,
Decimal Binary Octal Hex
Boolean Algebra and Computer Logic Mathematical Structures for Computer Science Chapter 7.1 – 7.2 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Boolean.
Discrete Mathematics and Its Applications.  The English mathematician George Boole ( ) sought to give symbolic form to Aristotle's system of.
Dr. Eng. Farag Elnagahy Office Phone: King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222.
Course contents Chapter 1 - section 1.6 Chapter 2 - all sections Chapter – 4.7, and 4.12 Chapter , Chapter 6 - all sections.
Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.
Linear Algebra. Circuits The circuits in computers and other input devices have inputs, each of which is either a 0 or 1, the output is also 0s and 1s.
Logic Gates and Boolean Algebra Wen-Hung Liao, Ph.D. 11/2/2001.
DISCRETE COMPUTATIONAL STRUCTURES
Propositional Calculus CS 270: Mathematical Foundations of Computer Science Jeremy Johnson.
ХНУРЭ,кафедра ПО ЭВМ, Тел , N.V. Bilous Факультет компьютерных наук Кафедра ПО ЭВМ, ХНУРЭ Discrete mathematics.
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.
1 BOOLEAN ALGEBRA Basic mathematics for the study of logic design is Boolean Algebra Basic laws of Boolean Algebra will be implemented as switching devices.
Thinking Mathematically
Fuzzy Inference and Reasoning
R. Johnsonbaugh Discrete Mathematics 5 th edition, 2001 Chapter 9 Boolean Algebras and Combinatorial Circuits.
Boolean Algebra Computer Architecture. Digital Representation Digital is an abstraction of analog voltage –Voltage is a continuous, physical unit Typically.
BOOLEAN ALGEBRA LOGIC GATES. Introduction British mathematician George Boole( ) was successful in finding the link between logic and mathematics.
Combinational Design, Part 2: Procedure. 2 Topics Positive vs. negative logic Design procedure.
Boolean Constants and Variables Boolean 0 and 1 do not represent actual numbers but instead represent the state, or logic level. Closed switchOpen switch.
DATA REPRESENTATION IN COMPUTER MEMORY.  Describe the coding system:  Sign and magnitude  1’s Complement and 2’s Complement  Binary Coded Decimal.
Chapter 1 Propositional Logic
Introduction to Logic © 2008 Pearson Addison-Wesley.
Presented by: Tutorial Services The Math Center
Chapter 11 (Part 1): Boolean Algebra
Computer Science 210 Computer Organization
Unit 2 Boolean Algebra.
Truth Tables and Equivalent Statements
CHAPTER 3 SETS AND BOOLEAN ALGEBRA
TN 221: DIGITAL ELECTRONICS 1
Chapter 8 Logic Topics
Propositional Calculus: Boolean Algebra and Simplification
Digital Systems: Logic Gates and Boolean Algebra
Information Technology Department
Schematics 201 Lecture Topic: Electrical Symbols
Computer Science 210 Computer Organization
COSC 2021: Computer Organization Instructor: Dr. Amir Asif
Lecture 20: Combinatorial Circuits I
Chapter 10.1 and 10.2: Boolean Algebra
Gates Type AND denoted by X.Y OR denoted by X + Y NOR denoted by X + Y
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Discrete Mathematics Lecture 1: Introduction
Discrete Mathematics Lecture 1: Introduction
Truth tables Mrs. Palmer.
Topics discussed in this section:
Introductory Concepts
Chapter 10.1 and 10.2: Boolean Algebra
Presentation transcript:

KNURE, Software department, Ph , N.V. Bilous Faculty of computer sciences Software department, KNURE Boolean Algebra and Logic Circuits. Duality Discrete mathematics

Topic 1 Boolean Algebra and Logic Circuits ХНУРЭ,кафедра ПО ЭВМ, Тел ,

3 Boolean Variables and Functions Let B = {0, 1}. Boolean variable logic variable The variable x is called a Boolean variable or a logic variable if it assumes values only from B. Boolean constants Values 0 and 1 Boolean variables is called Boolean constants.

4 Boolean Variables and Functions Boolean functionlogic function A function y=f(x 1,x 2,...,x n ) is called a Boolean function or a logic function if it assumes values from B and each of its variables also assumes values from B. Boolean function of degree n A Boolean function is called a Boolean function of degree n if its formula contains n different variables.

5 The conjunction L(x 1, x 2 )= x 1  x 2 where L=1 if x1=1 and x 2 =1, L=0 otherwise. conjunction ANDoperator The “  ” symbol is called the conjunction or AND operator, and the circuit in Figure 1 is said to implement the conjunction. Figure 1 – The conjunction (series connection)

6 The disjunction L(x 1, x 2 ) = x 1  x 2 where L=1 if x 1 =1 or x 2 =1 or if x 1 =x 2 =1, L=0 if x 1 =x 2 =1. disjunctionOR operator The  symbol is called the disjunction or OR operator, and the circuit in Figure 2 is said to implement the disjunction. Figure 2 – The disjunction (parallel connection)

7 The negation L(x) = x where L=1 if x=0 L=0 if x=1. negationcomplement The value of this function is the inverse of the value of the input variable. Instead of using the word inverse, it is more common to use the term negation or complement.

8 Methods of Boolean function representation I. Truth table truth table The values of a Boolean function are often displayed in the form of a table called the truth table. The rows amount in a truth table is equal to the amount of different interpretations of the function (2 n ).

9 The Boolean Functions for 1 variables 1.  0  0 – the constant of zero; 2.  1 = x – the repetition of the argument; 3.  2 = – the negation of the argument; 4.  3  1 – the constant of unity. x 00 11 22 3 y=f(x)

10 The Boolean Functions of Degree 2 xyf0f0 f1f1 f2f2 f3f3 f4f4 f5f5 f6f6 f7f7 f8f8 f9f9 f 10 f 11 f 12 f 13 f 14 f z=f(x,y)

11 The Boolean Functions of Degree 2 Func- tion Denote Names of the functions Another denote Read f 0 (x,y)0The constant of zeroconstant 0 f 1 (x,y) xyxy The conjunction (“logical and”) ·, &, &&,*, , AND, min x and y f2(x,y)f2(x,y)The negation of the implication>x and not y f3(x,y)f3(x,y)xThe repetition of the first argumentlike x f4(x,y)f4(x,y)The negation of the inverse implication <not x and y f5(x,y)f5(x,y)yThe repetition of the second argument like y f 6 (x,y) xyxy The sum to the module two (or “exclusive or”) ,, > <, !=, XOR x not like y f 7 (x,y) xyxy The disjunction (or “ logical or ")OR, +, maxx or у

12 The Boolean Functions of Degree 2 Func- tion Denote Names of the functions Another denote Read f 8 (x,y) xyxy The negation of the disjunction (or “ logical not-or ”, Piers pointer) not x and not y f 9 (x,y) xyxy The equivalence , , Eqv, = x like y f 10 (x,y) The negation of the second argument yy not y f 11 (x,y) xyxy The inverse implication  x, if y (x or not y) f 12 (x,y)The negation of the first argument xx not x f 13 (x,y) xyxy The implication , , Imp if x, then y (not x or y) f 14 (x,y)x | yThe negation of the conjunction not x or not y f 15 (x,y)1 The constant of unity constant 1

13 Methods of Boolean function representation II. Numbers of Boolean functions and interpretations Every function has a sequence number as a natural number a binary code of which is a column of function values in a truth table. A least significant bit is consider a lowermost row (value of function on interpretation (1,1,.,1)), and senior — most overhead (value of function on interpretation (0,0,.,0)).

14 Methods of Boolean function representation Every interpretation of Boolean function has the number – value of binary code which is interpretation. Interpretation, which is written in the overhead row of truth table, has a number 0, after interpretation has number 1 and etc. In a lowermost row interpretation is located with a number 2 n –1, where n is an amount of variables which depends a Boolean function.

15Example Find the sequence number for function f(x,y), which has next values: f(0,0)=1, f(0,1)=1, f(1,0)=0, f(1,1)=1. xyf(x,y) Binary code for the value of this function – = 1     2 0 = = =13 10 Thus, f 13 (x,y) = (1101) 2

16Example Build the truth table for function f 198 (x,y) xyzf (x,y,z)

17 Methods of Boolean function representation III. Boolean function representation with using formulas formula A formula is expression which propose some function as superposition of another functions. Superposition Superposition is a method of new functions construction by the substitution of one function values in place of argument values of another function

18Example Consider the formula of boolean algebra for function f(x,y,z) This formula has functions: g(x 1 ) – negation, s(x 1,x 2 ) – conjunction, l(x 1,x 2 ) – disjunction. Present this formula as superposition of the indicated functions as follows: f (x,y,z) = l(s(x,g(y)),z)

19 Precedence of operations 1.Negation. 2.Conjunction. 3.Disjunction. 4.Implication. 5.Equivalence. –    ~ Example Clean all possible brackets Add some brackets taking into account precedence of operations

20 Equivalent function equivalent Two different Boolean expressions that represent the same function are called equivalent. For instance, all the Boolean expressions xy  1, xy  0, and xy are equivalent.

21 Boolean Identities 1) Commutative laws x  y = y  x x  y = y  x 2) Associative laws x  (y  z)= (x  y)  z x  (y  z)=(x  y)  z 3) Distributive laws x  (y  z) = (x  y)  (x  z) x  (y  z) = (x  y)  (x  z)

22 Boolean Identities 4) Idempotent laws x  x = x  x = 5) The excluded middle law 6) The contradiction law 7) The absorption laws (elimination laws) x  (x  y) = x  (x  y) = x x 1 0 x x

23 Boolean Identities 8) Identity laws x  0 = x  1 = 9) Domination laws x  1 = x  0 = 10) Law of the double negation 11) De Morgan`s laws x x 1 0 x

Topic 2 Duality ХНУРЭ,кафедра ПО ЭВМ, Тел ,

25 Dual Boolean function dual Function f*(x 1,…,x n ) is called dual to function f(x 1,…,x n ), if

26 Selfdual Boolean function A Boolean function is called selfdual if

27 Selfdual Boolean function It is easy to define if a given Boolean function is selfdual or not by its truth table. For this we divide a truth table by half, using the symmetrical line. If any arc connects equal values, then the function is not selfdual. If every arc connects different values, then the function is selfdual.

28 Selfdual Boolean function Example. Define if the function f 14 (x,y) is selfdual. Solution. Given function is not selfdual. xyf 14 = x|y

29 Example. Define, if function f(x,y,z) is selfdual. Solution. f(x,y,z) — selfdual. xyzf (x,y,z)f* (x,y,z) Selfdual Boolean function

30 Duality principle The function f is given by superposition of function f 0,…,f n, where n  N. Function f*, dual to f, can be obtained, changing functions f 0,…,f n in the formula f for dual to f 0 *,…,f n *.

31 Example. Find dual functions. Solution. Duality principle

32 To obtain dual formula of Boolean algebra it is needed to change all conjunctions for disjunctions, disjunctions for conjunctions, 0 for 1, 1 for 0 in it, and use brackets where it is needed to keep previous order of fulfilling operations. Rule of obtaining dual formula

33 Example. Find function dual to function Solution. Let’s use previous rule of obtaining dual formula. Rule of obtaining dual formula

34 If functions are equal then dual to them functions are equal too. Let f 1 and f 2 are some functions expressing by such formulas. If f 1 = f 2, then f 1 * = f 2 * Rule of obtaining dual formula