Results 1 to 2 of 2

Math Help - Boolean Algebra Help

  1. #1
    Junior Member
    Joined
    Aug 2009
    Posts
    37

    Boolean Algebra Help

    I am trying to prove the following is a tautology using boolean algebra. I have proved it is using a truth table. I have to state which rule is used at each step.

    (a \Rightarrow b) \vee a

    Below is my attempt, how's it look?


     (a \Rightarrow b) \vee a = (\neg a \vee b) \vee a, (Rewriting \Rightarrow)
                                      = (\neg a \vee a) \vee b, (Associativing)
                                      = T \vee b,              (Negation (i))
                                      = T,                       (Absorbtion)
    Last edited by RedKMan; March 3rd 2010 at 02:04 AM. Reason: [LaTeX Error: Image is too big (748x18, limit 600x220)]
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,530
    Thanks
    1387
    Looks good to me.


    (Unless its a technical word I have seen before, the correct spelling is "absorption".)
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Boolean Algebra
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: December 7th 2010, 06:12 PM
  2. Boolean Algebra
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 28th 2010, 11:18 PM
  3. Boolean Algebra
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 16th 2009, 08:46 AM
  4. boolean algebra
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: January 22nd 2009, 08:57 AM
  5. Boolean Algebra
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: February 8th 2008, 07:55 AM

Search Tags


/mathhelpforum @mathhelpforum