Scribd Logo
Upload

Welcome to Scribd!

  • 119 views

    תכן לוגי מתקדם- פתרון תרגיל בית 2 - 2012

    Uploaded by

    Ron
    1) The document presents two representations of a logic function f(x1,x2,x3) - in XOR form and NOR form. 2) It asks which of several given functions are self-dual and proves a property for a logic function f(x,y). 3) The document contains problems related to logic functions - representing them in different forms, determining if they are monotone or symmetric, enumerating functions, and more. It asks the reader to solve these problems.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd

    תכן לוגי מתקדם- פתרון תרגיל בית 2 - 2012

    Uploaded by

    Ron
    119 views9 pages
    1) The document presents two representations of a logic function f(x1,x2,x3) - in XOR form and NOR form. 2) It asks which of several given functions are self-dual and proves a property for a logic function f(x,y). 3) The document contains problems related to logic functions - representing them in different forms, determining if they are monotone or symmetric, enumerating functions, and more. It asks the reader to solve these problems.

    Original Description:

    שנה שנייה\תכן לוגי מתקדם\תרגילי בית\2012###

    Original Title

    תכן לוגי מתקדם- פתרון תרגיל בית 2 | 2012

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    1) The document presents two representations of a logic function f(x1,x2,x3) - in XOR form and NOR form. 2) It asks which of several given functions are self-dual and proves a property for a logic function f(x,y). 3) The document contains problems related to logic functions - representing them in different forms, determining if they are monotone or symmetric, enumerating functions, and more. It asks the reader to solve these problems.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    119 views9 pages

    תכן לוגי מתקדם- פתרון תרגיל בית 2 - 2012

    Uploaded by

    Ron
    1) The document presents two representations of a logic function f(x1,x2,x3) - in XOR form and NOR form. 2) It asks which of several given functions are self-dual and proves a property for a logic function f(x,y). 3) The document contains problems related to logic functions - representing them in different forms, determining if they are monotone or symmetric, enumerating functions, and more. It asks the reader to solve these problems.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 9

    Problems 2- Solution 1) Represent in an XOR form

    f ( x1 , x 2 , x3 ) = ( x 2 ~ x3 ) ( x1 x 2 ).

    2) Represent in NOR form f ( x1 , x 2 , x3 ) = x1 x 2 x3

    3) Which of the following are self-dual functions?


    f = xy g=x h = xyz xyz xy

    f ( x, y ) = x y = x + y = x + y f

    4) Let a logic function f(x,y) satisfy the conditions:


    f ( x,1) f ( x,0) and f (1, y ) f (0, y )

    Then prove the following:


    f ( x, y ) = f (0,0) yf (0,1) xf (1,0) xyf (1,1).

    5) Which of the following functions are monotone?


    f = xy y xz g = xy y h = xyz yz w.

    6) Let f be a parity function of n variables. Show that the number of true minterms is 2 n 1

    7) Which of the following are symmetric functions?


    f ( x, y ) = x y )( x y ), g ( x, y, z ) = xz yz yx, h( x, y, z ) = xy xyz x yz.

    8) Enumerate the symmetric functions of three variables.

    9) Prove that there are 2n+1 symmetric functions of n variables. (n+1 work number ) n+1 .... , , 0 ) ) n+1 , : n+1 . 2 , 10) Which of the following are monotone functions?
    a )..xy xz x z; b)..x ( x y ),
    c)( x y ) ~ ( x y );

    n+1 ( (

    n-

    d ).x y ~ x y; e) xy x x z; f ) xy yz xz

    11) In order to make a universal set, what kind of function should be added to the function f = xy z ?

    12) Show that f and fd , the dual function of f, belong to the same NPN-equivalence class. . f ( x1 ,...xn ) NPN class
    f ( x1 ,...xn )

    , f ( x1 ,...xn ) f ( x1 ,...xn ) NPN

    13) Enumerate all the three-variable functions that belong to the following equivalence classes: a) An NP-equivalence class containing by xy yz zx; b) An NPN-equivalence class containing by xy yz zx; 8 8

    c) An NP-equivalence class containing by

    x y z;

    14) Enumerate all the self dual functions of 3 variables 31 2 22 = 22 = 24 = 16 .


    x, y , z , x ' y ' z ' :

    n:.
    x y z )majority

    22 NPN NPN NPN

    ( n1)

    x1 x2 + x2 x3 + x1 x3 (

    36 2 8

    15)Which if the following functions belong to the same NPN class? f1 = a ' b ' d '+ a ' c ' d '+ a ' bd + bc ' d
    f 2 = a ' b ' d '+ a ' c ' d '+ a ' bc '+ a ' bd + bc ' d f 3 = a ' d + a ' bc + ac '+ bcd f 4 = bc '+ abd + a ' b '+ c ' d f 5 = a ' b ' d '+ a ' bc '+ acd + a ' c ' d ' f 6 = a ' b ' d '+ abc ' d '+ ab ' c ' d + a ' b ' c + a ' bc ' d

    16)fill the following table:

    y1 = ab ' c + abd + b ' c ' d + ac ' d '+ acd y2 = (a + b + c + d ) ( ab + ac + ad + bc + bd + cd ) abc + abd + acd + bcd + abcd y3 = ab (c + d ) cd (a + b)

    ))

    ) (

    17) find RM expansion with positive polarity for the following function f = abd + abd '+ a ' cd
    f = abd + abd '+ a ' cd = abd abd ' abdabd '+ a ' cd = abd abd '+ a ' cd = abd abd ' a ' cd (abd abd ')a ' cd = abd abd ' a ' cd

    You might also like