Results 1 to 3 of 3

Thread: Problem with logic simplification

  1. #1
    Junior Member
    Joined
    Nov 2012
    From
    United States
    Posts
    41

    Problem with logic simplification

    I have a problem that requires me to simplify some logic.
    The problem is (p ∧ q) ∧ (q ∨ r)


    I thought about distributing everything but there are different signs (^ and v) in the individual parentheses so I'm not sure how to multiply those together. If it was (p ∧ q) ∧ (q ∧ r) I would've been able to simplify it.

    The answer is p ∧ q ∧ r
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Matt Westwood's Avatar
    Joined
    Jul 2008
    From
    Reading, UK
    Posts
    1,281
    Thanks
    197

    Re: Problem with logic simplification

    Use distribution:
    (p ∧ q) ∧ (q ∨ r) <==> (p ^ q ^ q) v (p ∧ q ∧ r)

    and then see where that leads you.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Sep 2012
    From
    Washington DC USA
    Posts
    1,061
    Thanks
    410

    Re: Problem with logic simplification

    You'll need those two q's to somehow combine, and the quickest way to "stick them together so they might combine" is to use associtivity of "and" to pull out the "not p" and mush the q-stuff together. After the first statement, it should be clear.

    (p ∧ q) ∧ (q ∨ r)

    p ∧ [ q ∧ (q ∨ r) ]

    Spoiler:

    p ∧ [ (q ∧ q) ∨ (q ∧ r) ]

    p ∧ [ (F) ∨ (q ∧ r) ]

    p ∧ [ (q ∧ r) ]

    p ∧ q ∧ r
    Last edited by johnsomeone; Aug 28th 2015 at 10:47 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Boolean logic Simplification
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Oct 2nd 2014, 08:26 AM
  2. Logic Simplification
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: Nov 27th 2011, 10:46 AM
  3. Simplification problem
    Posted in the Algebra Forum
    Replies: 2
    Last Post: Mar 13th 2011, 02:32 PM
  4. Stuck on a simple logic simplification
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: Oct 27th 2010, 04:20 PM
  5. Log simplification problem.
    Posted in the Calculus Forum
    Replies: 3
    Last Post: May 2nd 2009, 12:12 AM

Search Tags


/mathhelpforum @mathhelpforum