Results 1 to 4 of 4

Math Help - Using truth tables to show logical consistancy between logical expressions

  1. #1
    Newbie
    Joined
    Jan 2010
    Posts
    5

    Using truth tables to show logical consistancy between logical expressions

    How do you set up a truth table to show that these expressions are consistant:

    p -> q
    q -> r
    r -> p
    -q

    I'm basically asking how to solve question 51 of the first exercise in the book "Discreet Mathematics And Its Applications".

    I've already solved the problem but I'd like to know how to use a truth table to solve it.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by smkxn View Post
    How do you set up a truth table to show that these expressions are consistant:

    p -> q
    q -> r
    r -> p
    -q

    I'm basically asking how to solve question 51 of the first exercise in the book "Discreet Mathematics And Its Applications".

    I've already solved the problem but I'd like to know how to use a truth table to solve it.

    1) I have the book (6-th edition) and I can't find this exercise. Where exactly is it? Please write down chapter, section , number , etc.

    2) What exactly does the exercise ask? The different lines you wrote are obviously not logically equivalent since there appear different letters in them: perhaps you want to know how to deduce the last line from the first three?

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jan 2010
    Posts
    5
    The question is:

    Are these system specifications consistent? "The router can send packets to the edge system only if it supports the new address space. For the router to support the new address space it is necessary that the latest software release be installed. The router can send packets to the edge system if the latest software release is installed, The router does not support the new address space."

    The answer is that it is consistant.

    However I would like to know how to find that out using a truth table.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Jan 2010
    Posts
    5
    Or at least question 61, (which starts with "Steve would like ...") as that question is supposed to be figured out using a truth table.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. logical expressions
    Posted in the Calculus Forum
    Replies: 1
    Last Post: October 26th 2010, 09:23 AM
  2. Logical expressions
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: March 5th 2010, 05:37 PM
  3. Prove/disprove using logical using logical arguments
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 24th 2010, 06:29 AM
  4. Use basic logical equivalences to show?
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: October 25th 2009, 03:14 PM
  5. Truth value and Logical equivalents
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 10th 2008, 08:43 PM

Search Tags


/mathhelpforum @mathhelpforum