Results 1 to 3 of 3

Thread: Simplification to a CNF statement

  1. #1
    Newbie
    Joined
    Mar 2017
    From
    israel
    Posts
    2

    Simplification to a CNF statement

    Hello all,

    I have to simplify the following statement to an CNF statement .. but I got stuck
    Simplification to a CNF statement-targil.png

    thanks
    Attached Thumbnails Attached Thumbnails Simplification to a CNF statement-targil.png  
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Nov 2013
    From
    California
    Posts
    5,565
    Thanks
    2348

    Re: Simplification to a CNF statement

    Use a set of truth tables.

    I get that it simplifies to

    $(\neg x) \vee (x \wedge z)$
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2017
    From
    israel
    Posts
    2

    Re: Simplification to a CNF statement

    Thanks for the answer, but I was asked not to use truth table but identities
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 0
    Last Post: Sep 16th 2016, 08:51 AM
  2. Statement neg
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: Aug 28th 2011, 07:02 AM
  3. Replies: 4
    Last Post: Apr 5th 2010, 06:33 AM
  4. Biconditional Statement
    Posted in the Geometry Forum
    Replies: 2
    Last Post: Dec 21st 2008, 11:48 AM
  5. Help on proving this statement...
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: Jul 20th 2008, 11:47 AM

Search Tags


/mathhelpforum @mathhelpforum