Results 1 to 2 of 2

Thread: Which one of following Boolean expressions is not logically equivalent to all of the

  1. #1
    Junior Member
    Joined
    Apr 2013
    From
    USA
    Posts
    69
    Thanks
    1

    Which one of following Boolean expressions is not logically equivalent to all of the

    Which one of following Boolean expressions is not logically equivalent to all of
    the rest ?


    (a) wxy' + wz' + wxyz + wy'z
    (b) w(x + y' + z')
    (c) w + x + y' + z'
    (d) wx + wy' + wz'


    Is it choice c? If so how do I show that a is logically equivalent to b and d ?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,573
    Thanks
    789

    Re: Which one of following Boolean expressions is not logically equivalent to all of

    Yes, it's c. You can show that (a) = (b) as follows. Note that a + a'b = (a + a')(a + b) (by distributivity of disjunction over conjunction) = 1(a + b) = a + b. Of course, similarly a' + ab = a' + b. Using this trick and factoring out w, we get

    xy' + z' + xyz + y'z =
    xy' + xyz + z' + y' =
    xyz + z' + y' (since xy' + y' = (x + 1)y' = 1y' = y') =
    xy + z' + y' =
    x + z' + y'

    The fact that (b) = (d) is trivial. Nonequivalence of (c) is best verified by finding truth values where the expressions differ. Of course, equivalence can also be checked using truth tables.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. how are these two statments logically equivalent?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: Oct 3rd 2011, 10:49 PM
  2. Logically equivalent
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Jul 20th 2010, 10:20 PM
  3. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: Mar 24th 2010, 02:30 AM
  4. logically equivalent
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: Mar 18th 2010, 06:55 AM
  5. Logically Equivalent Statement-HELP!
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: Sep 17th 2008, 11:32 AM

Search tags for this page

Search Tags


/mathhelpforum @mathhelpforum