Conversion between Canonical Forms



  • The complement of a function expressed as the sum of minterms equals the sum of minterms missing from the original function.


  • This is because the original function is expressed by those minterms which make the function equal to 1, whereas its complement is a expressed by those minterms for which the function is equal to 0.


  • So, F(A, B, C) = ∑(1,4,5,6,7)


  • This function has a complement F'(A, B, C) = ∑(0,2,3) = m0 + m2 + m3


  • Relationship between minterm and maxterm:


  • If we take the complement of F' by Demorgans theorem;


  • F = (m0 + m2 + m3)'


  • F = m'0 . m'2 . m'3


  • F = M0 . M2 . M3


  • F = ∏(0, 2, 3)


  • So we conclude that, m'j = Mj


General Conversion procedure - Conversion from one canonical form to another.


  • Interchange the symbols ∑ and ∏


  • List those numbers missing from original missing from original form


  • To find the missing terms we consider that the total number of minterms or maxterms is 2n where 'n' is the number of binary variables in the function.




Conversion between Canonical Forms - Truth table method



Solve the conversion from minterm to maxterm: F = xy + x'z


  • We obtain the truth table as


  • x y z F
    0000
    0011
    0100
    0111
    1000
    1010
    1101
    1111

  • We use the truth table, to express 'F' as sum of minterms:


  • F(x,y,z) = ∑ (1,3,6,7)


  • F(x,y,z) = ∏ (0,2,4,5) (As total minterms are 23 = 8)




Standard Forms



  • The Sum Of Products is a Type of Standard form. It is a Boolean expression containing AND terms called product terms with one or more literals each. The sum denotes the ORing of these terms.


  • Example: F1 = y' + xy + x'yz'


  • A Product of Sums is a Boolean expression containing OR terms called sum terms. Each term may have any number of literals. The product denotes the ANDing of these terms.


  • Example: F1 = x.(y'+z).(x'+y+z')


AMP


OTHER LOGIC OPERATIONS



  • There are 16 possible functions which are used in boolean algebra which include AND, OR.


  • Boolean functions Operator symbols Name Comments
    F0 = 0-NullBinary constant 0
    F1 = xyx.yANDx and y
    F2 = xy'x/yInhibitionx but not y
    F3 = x-Transferx
    F4 = x'yy/xInhibitiony but not x
    F5 = y-Transfery
    F6 = xy' + x'yx⊕yExclusive orx or y but not both
    F7 = x + yx+yORx or y
    F8 = (x+y)'-NORNOT OR
    F9 = xy + x'y'(x⊕y)'equivalencex equals y
    F10 = y'y'complementnot y
    F11 = x + y'x⊂yimplicationif x then y
    F12 = x'x'complementnot x
    F13 = x' + yx⊃yimplicationif x then y
    F14 = (xy)'-NANDNot-AND
    F15 = 1-IdentityBinary constant 1

  • Two functions Inhibition and implication are not commutative or associative and thus are impractical to use as standard logic gates. Eight are used as standard gates in digital design, these are Complement, Transfer, AND, OR, NAND, NOR, Exclusive OR and Equivalence.


  • AMP
  • A buffer produces the transfer function but does not produce a logic operation since the binary value of the output is equal to the binary value of the input. This circuit is used for power amplification of the signal and is equivalent to two inverters connected in cascade.


  • All gates shown above can be extended for more than two inputs except Buffer and inverter A gate can be extended to have multiple inputs if the binary operation it represents is commutative and associative.




Points to Remember



  • The NAND and NOR functions are commutative and so their gates can be extended to have more than two inputs, however they are not associative.


  • Exclusive-OR is an odd function which means it is equal to 1 if the input variables have an odd number of 1's.


  • An integrated circuit is a silicon semiconductor crystal (chip) containing the electronic components for constructing digital gates.


  • Digital IC's are categorized by number of logic gates in the single package:


    • Small scale integration: Number of gates is fewer than 10.


    • Medium scale integration:Number of gates is 10 - 1000.


    • Large scale integration:Number of gates is in 1000's.


    • Very large scale integration:Number of gates is in 100000's.