Results 1 to 2 of 2

Thread: Boolean Algebra Help

  1. March 3rd 2010, 01:57 AM #1
    RedKMan
    RedKMan is offline
    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. March 3rd 2010, 04:16 AM #2
    HallsofIvy
    HallsofIvy is offline
    MHF Contributor
    Joined
    Apr 2005
    Posts
    13,727
    Thanks
    550
    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+
« Value of m when such that ... is a tangent to ....? | Chemical mixture problem »

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