DOCSLIB.ORG

POS/SOP and Kmaps

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
POS/SOP and Kmaps 8/7/2018 Lect 07 Outline • Boolean Functions Boolean Functions: Canonical Form and Minimization –Truth Table Conversion and Vice Versa • Canonical form of Function CS221: Digital Design –SOP and POS Dr. A. Sahu • Gray Code and Hamming Distances Dept of Comp. Sc. & Engg. • K‐Maps Indian Institute of Technology Guwahati 1 2 Converting among Representations Converting among Representations Q: Convert to equation Q: Convert to equation abcFTerm 0000 abFTerm 0010 001a’b’ 0100 011a’b 0110 100 1000 110 1011 ab’c 1101 abc’ F = ab’c + abc’ + abc F = a’b’ + a’b 1111abc Converting among Representations Standard Representation Q: Convert to truth table: F = a’b’ + a’b • How to determine two functions are Inputs Output the same? • Use algebraic methods a b a’b’ a’b F • But if we failed, does that prove not 00101 equal? No. 01011 • Solution: Convert to truth tables 10000 –Only ONE truth table representation of given same functions: Standard 11000 representation 1 8/7/2018 Standard Representation: Truth Table Only ONE truth table representation of given Represent TT in efficiently/elegantly? same functions: Standard representation • Truth tables too big for numerous inputs // F=ab+a’ F=a’b’+a’b+ab • Use standard form of equation instead abF abF – Known as canonical form – English meaning of “Canonical” : simplest 0 0 1 0 0 1 a or standard in mathematics 011 011 • Regular algebra: group terms of polynomial by 100 100 power 111 111 – ax2 + bx + c – (3x2 + 4x + 2x2 + 3 + 1 Î 5x2 + 4x + 4) Boolean Algebra Canonical Form Canonical Form ‐‐ Sum of Minterms • Truth tables too big for numerous inputs Determine if F(a,b)=ab+a’ is same function as • Use standard form of equation instead: F(a,b) = a’b’+a’b+ab by to canonical form. Canonical • Boolean algebra: create sum of minterms F = ab+a’ (already sum of products) – Minterm: product term with every function a literal appearing exactly once, in true or F = ab + a’(b+b’) (expanding term) complemented form – Just multiply‐out equation until sum of product terms F = ab + a’b + a’b’ (it is canonical form) – Then expand each term until all terms are Minterm: product term with every function literal minterms appearing exactly once, in true or complemented form Canonical form and Standard Form Canonical Forms • Canonical forms • It is useful to specify Boolean functions – Sum of minterms (SOM) – Product of maxterms (POM) in a form that: • Standard forms (may use less gates) – Allows comparison for equality. – Sum of products ()(SOP) – Has a correspondence to the truth tables – Product of sums (POS) • Canonical Forms in common usage: • SOP form may not be in Canonical Form – Sum of Minterms (SOM) F = ab+a’ (already sum of products:SOP) – Product of Maxterms (POM) F = ab + a’(b+b’) (expanding term) F = ab + a’b + a’b’ (it is canonical form:SOM) 2 8/7/2018 Minterms in SOP Minterms • Product term is a term where literals are • Function with n variables has 2n minterms ANDed • A minterm equals 1 at exactly one input – Example: x’y’, xz, xyz, … combination and is equal to 0 otherwise • minterm : A product term in which all – Example: x’y’z’ = 1 only when x=0, y=0, z=0 • variables appear exactly once, in normal Minterm is denoted as mi where i corresponds or complemented form the input combination at which this minterm is equal to 1 – Example: F(x,y,z) has 8 minterms x’y’z’, x’y’z, x’yz’, … Example: 2 Variable Minterms Maxterms • Maxterms are OR terms with every variable in • Two variables (X and Y) produce 2x2=4 true or complemented form. combinations X+Y (both normal) XY (both normal) X+Y’ (x normal, y complemented) XY’ (X normal, Y complemented) X’+Y (x complemented, y normal) X’Y (X complemented, Y normal) X’+Y’ (both complemented) X’Y’ (both complemented) Maxterms and Minterms Minterms : three variables XY Z Term Symbol m0 m1 m2 m3 m4 m5 m6 m7 • Two variable minterms and maxterms. 000x’y’z’m0 10000000 Index Minterm Maxterm 001x’y’zm1 01000000 0x’ y’ x + y 010x’yz’m2 00100000 011x’yzm 00010000 1 x ‘y x + y’ 3 100xy’z’ m4 00001000 2x y’ x’ + y 101xy’zm5 00000100 3x yx’ + y’ 110xyz’m6 00000010 • The index above is important for describing which 111xyzm7 00000001 variables in the terms are true and which are th complemented. mi indicated the i minterm i indicates the binary combination Variable complemented if 0 m is equal to 1 for ONLY THAT combination Variable uncomplemented if 1 i 3 8/7/2018 Maxterms in POS Maxterms • Sum term : A term where literals are ORed. • Function with n variables has 2n maxterms • Example: x’+y’, x+z, x+y+z, … • A maxterm equals 0 at exactly one input • Maxterm : a sum term in which all variables combination and is equal to 1 otherwize appear exactly once, in normal or • Example: (x+y+z) = 0 only when x=0, y=0, complemented form z=0 • Example: F(x,y,z) has 8 maxterms • A maxterm is denoted as Mi where i (x+y+z), (x+y+z’), (x+y’+z), … corresponds the input combination at which this maxterm is equal to 0 Maxterms : three variable XY ZTerm Sym Expressing Functions with Minterms M0 M1 M2 M3 M4 M5 M6 M7 • Boolean function can be expressed algebraically from 0 0 0 X+Y+Z M0 0 1111111 a give truth table 0 0 1 X+Y+Z’ M1 1 0 111111 • Forming sum of ALL the minterms that produce 1 01 0X+Y’+Z M 110 11111 2 in the function XY ZmF 01 1X+Y’+Z’M3 1110 1111 EElxample : CCidhfionsider the function 0 0 0 m0 1 10 0X’+Y+Z M4 11110 111 defined by the truth table 001m1 0 10 1X’+Y+Z’M5 111110 11 010m2 1 11 0X’+Y’+ZM6 1111110 1 F(X,Y,Z)= X’Y’Z’ + X’YZ’ + XY’Z + 011m3 0 XYZ 100m 0 11 1X’+Y’+Z’M7 11111110 4 = m0 + m2 + m5 + m7 101m 1 M indicated the ith maxterm i indicates 5 i = ∑m(0, 2, 5, 7) the binary combination Mi is equal to 0 110m6 0 Variable complemented if 1 for ONLY THAT combination 111m 1 Variable not complemented if 0 7 Expressing Functions with Maxterms Sum of Minterms vs Product of • Boolean function : Expressed algebraically from a Maxterms give truth table • A function can be expressed algebraically as: • By forming logical product (AND) of ALL the maxterms that produce 0 in the function • The sum of minterms Example: XY ZMFF’ • The product of maxterms Consider the function defined by the 000M0 1 0 • Given the truth table, writing F as 0 0 1 M1 0 1 truth table 010M 1 0 2 • ∑mi –for all minterms that produce 1 in the table, F(X,Y,Z) = Π M(1,3,4,6) 011M 0 1 3 or Applying DeMorgan 100M4 01 101M5 10 • ΠMi –for all maxterms that produce 0 in the table F’ = m1 + m3 + m4 + m6= ∑ m(1,3,4,6) 110M6 01 • Minterms and Maxterms are complement of F = F’’ = [m1 + m3 + m4 + m6]’ 111M7 10 = m ’.m ’.m ’.m ’ each other. 1 3 4 6 Note the indices in this list are those that = M1.M3.M4.M6 are missing from the previous list in = Π M(1,3,4,6) Σm(0,2,5,7) 4 8/7/2018 Example: minterm & maxterm Example (Cont.) Solution: Method2_a Solution: Method2_b E = Y’ + X’Z’ E = Y’ + X’Z’ • Write E = Y’ + X’Z’ in the = Y’(X+X’)(Z+Z’) + ’Z’(Y+Y’) E’ = Y(X+Z) XY ZmME = (XY’+X’Y’)(Z+Z’) + X’YZ’+ = YX + YZ form of ∑mi and ΠMi? 000m M 1 0 0 X’Z’Y’ = YX(Z+Z’) + YZ(X+X’) • Method1 0 0 1 m M 1 1 1 = Y’Z+ X’Y’Z+ XY’Z’+ X’Y’Z’+ = XYZ+XYZ’+X’YZ 010m M 1 First construct the Truth Table 2 2 X’YZ’+X’Z’Y’ E = 011m M 0 as shown 3 3 = m5 + m1 + m4 + m0 + m2 + m0 (X’+Y’+Z’)(X’+Y’+Z)(X+Y’+Z’) 100m4 M4 1 = m + m + m + m + m = M . M . M E = ∑m(0,1,2,4,5), and 0 1 2 4 5 7 6 3 101m5 M5 1 = ∑ m(0,1,2,4,5) = ΠM(3,6,7) E = M(3,6,7) 110m6 M6 0 Π To find the form ΠMi, consider the To find the form Smi, consider 111m7 M7 0 remaining indices the remaining indices E = ΠM(3,6,7) E = ∑ m(0,1,2,4,5) Canonical Forms Standard Forms • The sum of minterms and the product of • Sum of Products (SOP) and Product of Sums maxterms forms are known as the canonical (POS) are also standard forms forms of a function. • AB+CD = (A+C)(B+C)(A+D)(B+D) • The sum of min‐terms is a specia l case of ttehe SOP form, where all product terms are min‐ terms • The product of max‐terms is a special case of the POS form, where all sum terms are max‐ terms SOP and POS Conversion Implementation of SOP F(X,Y,Z) = XZ+Y’Z+X’YZ SOP Æ POS POS Æ SOP • Any SOP expression can be implemented using 2- levels of gates F = AB + CD F = (A’+B)(A’+C)(C+D) • The 1st level consists of = (AB+C)(AB+D) = (A’+BC)(C+D) AND gates, and the 2nd = (A+C)(B+C)(AB+D) = A’C+A’D+BCC+BCD level consists of a single = (A+C)(B+C)(A+D)(B+D) = A’C+A’D+BC+BCD OR gate = A’C+A’D+BC • Also called 2-level Hint 1: Use id15: X+YZ=(X+Y)(X+Z) Circuit Hint 1: Use id15 (X+Y)(X+Z)=X+YZ Hint 2: Factor Hint 2: Multiply 5 8/7/2018 Implementation of SOP Implementation of POS • Consider F = AB + C(D+E) F(X,Y,Z) = (X+Z)(Y’+Z)(X’+Y+Z) • This expression is NOT in the sum-of-products form • Any POS expression can • Use the identities/algebraic manipulation to convert to a be implemented using 2- standard form (sum of products), as in F = AB + CD + CE levels of gates • Logic Diagrams: • The 1st level consists of nd A OR gates, and the 2 A B level consists of a single B C F F AND gate C D C • Also called 2-level D E Circuit E 3‐level circuit 2‐level circuit Canonical Forms Simplification: Theorem method E = ∑ m(0,1,2,4,5) • It is useful to specify Boolean functions = m + m + m + m + m in a form that: 0 1 2 4 5 = m5 + m1 + m4 + m0 + m2 + m0 – Allows comparison for equality.
Load more

Recommended publications
  • Boolean Algebra
    Boolean Algebra Definition: A Boolean Algebra is a math construct (B,+, . , ‘, 0,1) where B is a non-empty set, + and . are binary operations in B, ‘ is a unary operation in B, 0 and 1 are special elements of B, such that: a) + and . are communative: for all x and y in B, x+y=y+x, and x.y=y.x b) + and . are associative: for all x, y and z in B, x+(y+z)=(x+y)+z, and x.(y.z)=(x.y).z c) + and . are distributive over one another: x.(y+z)=xy+xz, and x+(y.z)=(x+y).(x+z) d) Identity laws: 1.x=x.1=x and 0+x=x+0=x for all x in B e) Complementation laws: x+x’=1 and x.x’=0 for all x in B Examples: • (B=set of all propositions, or, and, not, T, F) • (B=2A, U, ∩, c, Φ,A) Theorem 1: Let (B,+, . , ‘, 0,1) be a Boolean Algebra. Then the following hold: a) x+x=x and x.x=x for all x in B b) x+1=1 and 0.x=0 for all x in B c) x+(xy)=x and x.(x+y)=x for all x and y in B Proof: a) x = x+0 Identity laws = x+xx’ Complementation laws = (x+x).(x+x’) because + is distributive over . = (x+x).1 Complementation laws = x+x Identity laws x = x.1 Identity laws = x.(x+x’) Complementation laws = x.x +x.x’ because + is distributive over .
    [Show full text]
  • Algorithm for Two-Level Simplification (Example)
    CSE 370 Spring 2006 Administrivia Introduction to Digital Design Homework 3 due Friday Lecture 8: Introduction to Verilog Last Lecture Design Examples a K-maps Minimization Algorithm Today Introduction to Verilog Algorithm for two-level simplification Algorithm for two-level Algorithm: minimum sum-of-products expression from a Karnaugh map simplification (example) A A A Step 1: choose an element of the ON-set X101 X101 X101 Step 2: find "maximal" groupings of 1s and Xs adjacent to that 0111 0111 0111 element D D D consider top/bottom row, left/right column, and corner 0XX0 0XX0 0XX0 adjacencies C C C this forms prime implicants (number of elements always a power 0101 0101 0101 of 2) B B B 2 primes around A'BC'D' 2 primes around ABC'D Repeat Steps 1 and 2 to find all prime implicants A A A Step 3: revisit the 1s in the K-map X101 X101 X101 if covered by single prime implicant, it is essential, and 0111 0111 0111 participates in final cover D D D 1s covered by essential prime implicant do not need to be 0XX0 0XX0 0XX0 revisited C C C Step 4: if there remain 1s not covered by essential prime implicants 0101 0101 0101 B B B select the smallest number of prime implicants that cover the 3 primes around AB'C'D' 2 essential primes minimum cover (3 primes) remaining 1s Visit All in the On Set? Activity List all prime implicants for the following K-map: A A 00X001X0 X0X0 0111X1 01X1 CD’ D BC BD AB AC’D D CD’ BC BD AB AC’D 010X11X0 0XX0 C C 00X10111 X111 B B CD’ BD AC’D CD’ BD AC’D Which are essential prime implicants? CD’ BD AC’D CD’ BD AC’D What
    [Show full text]
  • Combinational Logic Circuits
    CHAPTER 4 COMBINATIONAL LOGIC CIRCUITS ■ OUTLINE 4-1 Sum-of-Products Form 4-10 Troubleshooting Digital 4-2 Simplifying Logic Circuits Systems 4-3 Algebraic Simplification 4-11 Internal Digital IC Faults 4-4 Designing Combinational 4-12 External Faults Logic Circuits 4-13 Troubleshooting Prototyped 4-5 Karnaugh Map Method Circuits 4-6 Exclusive-OR and 4-14 Programmable Logic Devices Exclusive-NOR Circuits 4-15 Representing Data in HDL 4-7 Parity Generator and Checker 4-16 Truth Tables Using HDL 4-8 Enable/Disable Circuits 4-17 Decision Control Structures 4-9 Basic Characteristics of in HDL Digital ICs M04_WIDM0130_12_SE_C04.indd 136 1/8/16 8:38 PM ■ CHAPTER OUTCOMES Upon completion of this chapter, you will be able to: ■■ Convert a logic expression into a sum-of-products expression. ■■ Perform the necessary steps to reduce a sum-of-products expression to its simplest form. ■■ Use Boolean algebra and the Karnaugh map as tools to simplify and design logic circuits. ■■ Explain the operation of both exclusive-OR and exclusive-NOR circuits. ■■ Design simple logic circuits without the help of a truth table. ■■ Describe how to implement enable circuits. ■■ Cite the basic characteristics of TTL and CMOS digital ICs. ■■ Use the basic troubleshooting rules of digital systems. ■■ Deduce from observed results the faults of malfunctioning combina- tional logic circuits. ■■ Describe the fundamental idea of programmable logic devices (PLDs). ■■ Describe the steps involved in programming a PLD to perform a simple combinational logic function. ■■ Describe hierarchical design methods. ■■ Identify proper data types for single-bit, bit array, and numeric value variables.
    [Show full text]
  • Final Book -Architecture.Pdf
    1 BHARATHIDASAN UNIVERSITY (Re-accredited with ‘A’ Grade by NAAC) CENTRE FOR DISTANCE EDUCATION PALKALAIPERUR, TIRUCHIRAPPALLI – 24 MCA / PGDCA I - Semester Computer Organization and Architecture CORE COURSE III (Full Package) Copy right reserved For Private Circulation only 2 Chairman: Dr. V.M Muthukumar Vice-Chancellor Bharathidasan University Tiruchirappalli – 620 024. Co-Ordinator: Dr. R.Babu Rajendren Registrar i/c Centre for Distance Education Bharathidasan University Tiruchirappalli – 620 024. Course Director: Dr.V.Vinod Kumar Director i/c Centre for Distance Education Bharathidasan University Tiruchirappalli – 620 024. The Syllabus Revised from 2017-18 onwards Lesson Writer: Dr. J.Sai Geetha Asst. Professor Department of Computer Science Nehru Memorial College Puthanampatti Tituchirappalli – 621 007. 3 CORE COURSE III COMPUTER ORGANIZATION AND ARCHITECTURE Objective: To understand the principles of digital computer logic circuits and their design. To understand the working of a central processing unit architecture of a computer Unit I Number Systems – Decimal, Binary, Octal and Hexadecimal Systems – Conversion from one system to another – Binary Addition, Subtraction, Multiplication and Division – Binary Codes– 8421, 2421, Excess-3, Gray, BCD – Alphanumeric Codes – Error Detection Codes. Unit II Basic Logic Gates – Universal Logic – Boolean Laws and Theorems – Boolean Expressions – Sum of Products – Product of Sums – Simplification of Boolean Expressions –Karnaugh Map Method (up to 4 Variables) – Implementation of Boolean Expressions using Gate Networks. Unit III Combinational Circuits – Multiplexers – Demultiplexers – Decoders – Encoders – Arithmetic Building Blocks – Half and Full Adders – Half and Full Subtractors – Parallel adder –2’s Complement Adder – Subtractor – BCD Adder. Unit IV Sequential Circuits – Flip Flops – RS, Clocked RS, D, JK, T and Master- Slave Flip Flops –Shift Register – Counters – Asynchronous, MOD-n and Synchronous Counters – BCD Counter –Ring Counter.
    [Show full text]
  • 'N' VARIABLES - a NOVEL APPROACH Dr.V.D.Ambeth Kumar1 and Gokul Amuthan .S2 1
    STATIC STRUCTURE SIMPLIFICATION OF BOOLEAN FUNCTION FOR 'N' VARIABLES - A NOVEL APPROACH Dr.V.D.Ambeth Kumar1 and Gokul Amuthan .S2 1. Asso.Professor, Department of CSE, Panimalar Engineering College, Chennai, India-600123. 2. UG Student, Department of CSE, Panimalar Engineering College, Chennai, India-600123. Email: [email protected] ABSTRACT Digital Systems have a prominent role in everyday life that we refer to the present technological period as the digital age.[1] Digital Systems implement digital circuits which are mostly combination of digital gates. These gates can be represented in an understandable form called Boolean expressions. These expressions formed vary for each circuit. Hence for building an efficient circuit the Boolean expression should be minimized. To achieve this, we use, Karnaugh map (K-map) and Quine-McCluskey (QM) methods which are well known methods to simplify Boolean expression. The K-map until now is introduced to solve up to 6 variable and QM which can solve ‘n’ variables, yet it involve a serious of steps and does not provide a visual way to minimising the expression. The following paper implements the idea of K-map to reduce the expression except that it could solve ‘n’ variables as QM method. The method Divide and Conquer Karnaugh map (DC-K-map) implements 4 variable K-map in a redundant way to reduce the expression for variables greater than 7. Keywords: Karnaugh map, Boolean functions, Quine-McCluskey Method, Grouping and Simplification. 1. INTRODUCTION In 1854, George Boole introduced a systematic treatment of logic and developed for this purpose an algebraic system now called as Boolean Algebra[12].
    [Show full text]
  • Static Structure Simplification of Boolean Function for 'N' Variables
    VISVAM DEVADOSS AMBETH KUMAR AND S. GOKUL AMUTHAN: STATIC STRUCTURE SIMPLIFICATION OF BOOLEAN FUNCTION FOR ‘N’ VARIABLES - A NOVEL APPROACH DOI: 10.21917/ijme.2016.0024 STATIC STRUCTURE SIMPLIFICATION OF BOOLEAN FUNCTION FOR ‘N’ VARIABLES - A NOVEL APPROACH Visvam Devadoss Ambeth Kumar1 and S. Gokul Amuthan2 Department of Computer Science and Engineering, Panimalar Engineering College, India E-mail: [email protected], [email protected] Abstract referred to as tabulation method. This method was best suited for Digital Systems have a prominent role in everyday life that we refer to computer algorithms yet it has limited range of use as it solves the the present technological period as the digital age. Digital Systems problem in NP-Hard way. [5] This paper uses K-map method, implement digital circuits which are mostly combination of digital with slight modification to solve greater than 7 variables. gates. These gates can be represented in an understandable form called Boolean expressions. These expressions formed vary for each circuit. Hence for building an efficient circuit the Boolean expression should 2. SYMBOLIZING THE BOOLEAN FUNCTION be minimized. To achieve this, we use, Karnaugh map (K-map) and Quine-McCluskey (QM) methods which are well known methods to To represent the Boolean functions we use four golden simplify Boolean expression. The K-map until now is introduced to representations. solve up to 6 variable and QM which can solve ‘n’ variables, yet it involve a serious of steps and does not provide a visual way to 2.1 TRUTH TABLE minimising the expression. The following paper implements the idea of K-map to reduce the expression except that it could solve ‘n’ variables The common way of representing the Boolean function.
    [Show full text]
  • Digital Electronics
    LECTURE NOTES ON DIGITAL ELECTRONICS 4th semester Branch-Electrical Engineering DEPT. OF ELECTRONICS AND TELECOMMUNICATIONS ENGINEERING PADMASHREE KRUTARTHA ACHARYA COLLEGE OF ENGINEERING DISTRICT-BARGARH, PIN 768028 MODULE - 1 Number Systems Understanding Decimal Numbers ° Decimal numbers are made of decimal digits: (0,1,2,3,4,5,6,7,8,9) ° Decimal number representation: • 8653 = 8x103 + 6x102 + 5x101 + 3x100 ° What about fractions? • 97654.35 = 9x104 + 7x103 + 6x102 + 5x101 + 4x100 + 3x10-1 + 5x10-2 • In formal notation -> (97654.35)10 ° Why do we use 10 digits? Understanding Binary Numbers ° Binary numbers are made of binary digits (bits): • 0 and 1 ° How many items does an binary number represent? 3 2 + 1 + 0 • (1011)2 = 1x2 + 0x2 1x2 1x2 = (11)10 ° What about fractions? 2 + 1 + 0 -1 + -2 • (110.10)2 = 1x2 1x2 0x2 + 1x2 0x2 ° Groups of eight bits are called a byte • (11001001) 2 ° Groups of four bits are called a nibble. • (1101) 2 Why Use Binary Numbers? ° Easy to represent 0 and 1 using electrical values. ° Possible to tolerate noise. ° Easy to transmit data ° Easy to build binary circuits. AND Gate 1 0 0 Conversion Between Number Bases Octal(base 8) Decimal(base 10) Binary(base 2) Hexadecimal (base16) ° Learn to convert between bases. ° Conversion demonstrated in next slides Convert an Integer from Decimal to Another Base For each digit position: 1. Divide decimal number by the base (e.g. 2) 2. The remainder is the lowest-order digit 3. Repeat first two steps until no divisor remains. Example for (13)10: Integer Remainder Coefficient Quotient 13/2 = 6 + ½ a0 = 1 6/2 = 3 + 0 a1 = 0 3/2 = 1 + ½ a2 = 1 1/2 = 0 + ½ a3 = 1 Answer (13)10 = (a3 a2 a1 a0)2 = (1101)2 Convert an Fraction from Decimal to Another Base For each digit position: 1.
    [Show full text]
  • A Simplification Method of Polymorphic Boolean Functions Wenjian Luo and Zhifang Li
    1 A Simplification Method of Polymorphic Boolean Functions Wenjian Luo and Zhifang Li Abstract—Polymorphic circuits are a special kind of circuits adopted [4, 10, 11]. The evolutionary methods could design which possess multiple build-in functions, and these functions are area-efficient polymorphic circuits, but the Evolutionary activated by environment parameters, like temperature, light and Algorithms face the scalability problem. Therefore, only small VDD. The behavior of a polymorphic circuit can be described by scale circuits can be generated. Up to now, “3×4 multiplier / 7 a polymorphic Boolean function. For the first time, this brief presents a simplification method of the polymorphic Boolean bit sorting-net” reported in [4] is the biggest polymorphic function. circuits designed by evolutionary methods. In [12, 13], Sekanina and his colleagues proposed the Poly-BDD and Index Terms—Polymorphic electronics, polymorphic circuit, polymorphic multiplex methods for designing polymorphic polymorphic Boolean function, Karnaugh Map circuits. It is noted that polymorphic multiplex method is firstly proposed in [11], and also adopted in [14], but they are I. INTRODUCTION somewhat different. the In [15], the Poly_Bi_Decomposition ompared with the traditional electronics, the polymorphic method is proposed to synthesize polymorphic circuits. C electronic components possess multiple build-in functions The behavior of a polymorphic circuit can be described by a which are activated by environmental signals. For instance, polymorphic Boolean function. The simplification of a the AND/OR polymorphic logic gate controlled by Boolean function is common, and its importance stems from temperature perform the AND function when the temperature the fact that “the simpler the function is, the easier it is to is 27°C and perform the OR function when the temperature is realize” [16].
    [Show full text]
  • 2 Combinational Logic Circuits
    www.getmyuni.com 10CS 33 LOGIC DESIGN UNIT – 2 Combinational Logic Circuits Unit – 2 Combinational Logic Circuits Objectives • Understand what are combinational logic circuits • Use the sum-of-products method to design a logic circuit based on a design truth table • Be able to make Karnaugh maps and use them to simplify Boolean expressions Introduction Logic Circuits are categorized into 2 types (based on whether they contain memory or not): • Combinational Logic Circuits o Circuits without memory • Sequential Logic Circuits o Circuits with memory Combinational Logic Circuits The output of combinational logic circuit depends only on the current inputs. A combinational logic circuit block is as shown below: There are two fundamental approaches in logic design. They are: • The Sum-of-Products (SOP) Method – Solution results in an AND-OR or NAND-NAND network Page 1 www.getmyuni.com 10CS 33 LOGIC DESIGN UNIT – 2 Combinational Logic Circuits • The Product-of-Sums (POS) Method – Solution results in an OR-AND or NOR-NOR network We select a simpler circuit because it costs less and is more reliable. The Sum-of-Products (SOP) Method Product term A product term is a conjunction of literals, where each literal is either a Boolean variable or its complement. Examples: A . B A’ . B. C’ A Fundamental product or Minterm For a function of n variables, a product term in which each of the n variables appears once (in uncomplemented or complemented form) is called a fundamental product or minterm Fundamental Products for Two inputs Consider two inputs A and B. The fundamental products or minterms are listed below: Inputs Fundamental products or A B minterms 0 0 m0 = A’ .
    [Show full text]
  • Karnaugh Map Method for Memristive and Spintronic Asymmetric Basis Logic Functions
    128 IEEE TRANSACTIONS ON COMPUTERS, VOL. 70, NO. 1, JANUARY 2021 Karnaugh Map Method for Memristive and Spintronic Asymmetric Basis Logic Functions Vaibhav Vyas , Lucian Jiang-Wei, Peng Zhou, Student Member, IEEE, Xuan Hu , Student Member, IEEE, and Joseph S. Friedman , Senior Member, IEEE Abstract—The development of beyond-CMOS technologies with alternative basis logic functions necessitates the introduction of novel design automation techniques. In particular, recently proposed computing systems based on memristors and bilayer avalanche spin-diodes both provide asymmetric functions as basis logic gates - the implication and inverted-input AND, respectively. This article therefore proposes a method by which Karnaugh maps can be directly applied to systems with asymmetric basis logic functions. A set of identities is defined for these memristor and spintronic logic functions, enabling the formal demonstration of the Karnaugh map method and an explanation of the proposed technique. This method thus, enables the direct minimization of spintronic and memristive logic circuits without translation to conventional Boolean algebra, facilitating the further development of these novel computing paradigms. Preliminary analyses demonstrate that this Karnaugh map minimization approach can provide a 28 percent reduction in step count as compared to previous manual optimization. Index Terms—Boolean algebra, beyond-CMOS computing, asymmetric logic, emerging technologies, memristors, spintronics Ç 1INTRODUCTION MERGING computing technologies provide unconven-
    [Show full text]
  • Simplifying the Boolean Equation Based on Simulation System Using Karnaugh Mapping Tool in Digital Circuit Design
    Simplifying the Boolean Equation Based on Simulation System using Karnaugh Mapping Tool in Digital Circuit Design Md. Jahidul Islam , Md. Gulzar Hussain, Babe Sultana, Mahmuda Rahman , Md. Saidur Rahman and Muhammad Aminur Rahaman Abstract—In computerized integrated circuits, the Logic (PAL) and Programmable Logic Array (PLA) fundamental principle intends to avoid the multifaceted [1], and here the amount of logic circuits are to be nature of the circuitry by making it as brief as attainable maintained in a minimal form, the production costs and minimize the expenditure. Techniques like Quine- of such devices will be decreased. The K map is McCluskey (QM) and Karnaugh Map (K-Map) are often the graphical procedure to optimize Boolean function used approaches of simplifying Boolean functions. This study presents a recreation framework of simplification throughout the format of a minimal SOP form. Logic of the Boolean capacities by the utilize of the K- Gate-wise, these observations resulted such a two- Map definition for beginner-level learners. It uses the tier minimal system. It’s used mostly for many small algebraic expression of the Boolean function to decrease design problems. It is obvious that several larger mod- the number of terms, generates a circuit, and does els are carrying out using various computer method not use any redundant sets. In this way, it gets to be implementations, and so we can obtain a pretty good competent to deal with lots of parameters and minimize insight in to digital logic gate circuit after learning K the computational cost. The result of the assessment is performed in this paper by contrasting it with the C- map.
    [Show full text]
  • A Thesis Submitted in Conformity with the Requirements for the Degree Of
    SECRET SHARING FOR COLOR IMAGES by Mohsen Heidarinejad A thesis submitted in conformity with the requirements for the degree of Master of Applied Science Graduate Department of Electrical and Computer Engineering University of Toronto Copyright © 2008 by Mohsen Heidarinejad Library and Bibliotheque et 1*1 Archives Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington Ottawa ON K1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-44991-2 Our file Notre reference ISBN: 978-0-494-44991-2 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library permettant a la Bibliotheque et Archives and Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par Plntemet, prefer, telecommunication or on the Internet, distribuer et vendre des theses partout dans loan, distribute and sell theses le monde, a des fins commerciales ou autres, worldwide, for commercial or non­ sur support microforme, papier, electronique commercial purposes, in microform, et/ou autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in et des droits moraux qui protege cette these. this thesis. Neither the thesis Ni la these ni des extraits substantiels de nor substantial extracts from it celle-ci ne doivent etre imprimes ou autrement may be printed or otherwise reproduits sans son autorisation. reproduced without the author's permission.
    [Show full text]