Results 1 to 2 of 2

Math Help - discrete mathematics..help!!!!!

  1. #1
    Newbie
    Joined
    Sep 2008
    Posts
    10

    Question discrete mathematics..help!!!!!

    1. Consider these lines of code from a C program:
    if (!(x != 1 && x*y < 0) && (x == 1 || y/x
    5)

    printf (“
    ”);

    else
    printf (“
    ”);

    a.
    Express the code in this statement as a compound statement using the logical
    connectives ¬,
    , , , and these predicates:

    P(x)
    : x = 1
    Q(x,y): x*y < 0
    R(x,y): y/x
    5
    W
    (z): “ z is assigned to printf ”

    where
    x and y are integers and z is a Boolean variable (with values True and False)
    b. Use the
    laws of propositional logic to simplify the statement by expressing it in a
    simpler form.

    c. Translate the answer in part (b) back into C codes.

    2.
    Given: Prove �� → ��∨ ��using the Proof by Contradiction method.

    [Hint: Use a combination of Equivalence Laws and Rules of Inference to solve this
    question]

    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2007
    Posts
    329
    See here (exercise 4): http://www.phien.org/ucdavis/ta/ecs20-s07/extra/1-3.pdf
    Seems to be quite similar.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. discrete mathematics
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 1st 2010, 06:39 PM
  2. Discrete Mathematics GCD Question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 5th 2010, 12:48 PM
  3. Discrete mathematics question
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: February 4th 2010, 02:55 PM
  4. What is discrete Mathematics About ?
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: June 4th 2009, 10:28 PM
  5. Mathematics: Discrete-Mathematics (Algorithems)
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 2nd 2008, 07:27 AM

Search Tags


/mathhelpforum @mathhelpforum