Results 1 to 2 of 2

Math Help - Help with manipulation of phrases to prove equivalence

  1. #1
    Newbie
    Joined
    Sep 2009
    Posts
    2

    Help with manipulation of phrases to prove equivalence

    I have to prove the following statement using boolean identities for manipulation:
    (a <--> (a --> b)) \/ ~b <==> (~b \/ a)
    where: ~=not
    -->=implication
    <-->=biconditional
    <==>=logical equivalence
    V=Or
    /\=And
    I've been drilling away at it, and I got it to here:
    (~a V b) V ~b
    But I cant figure out how to take it any further, and judging where I am, it seems like I had to have done something wrong. Any suggestions?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Sep 2009
    Posts
    2
    I fugured it out never mind, i lost a not and needed to do some creative distribution
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 10
    Last Post: December 9th 2010, 05:42 AM
  2. Replies: 12
    Last Post: June 24th 2010, 01:00 PM
  3. Prove equivalence relation
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: June 23rd 2010, 11:25 AM
  4. Replies: 8
    Last Post: February 11th 2010, 03:17 PM

Search Tags


/mathhelpforum @mathhelpforum