Scribd Logo
Upload

Welcome to Scribd!

  • 123 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
    123 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
    123 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
    You are on page 1of 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

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy