Results 1 to 4 of 4

Math Help - logic circuit formula

  1. #1
    Junior Member
    Joined
    Mar 2009
    Posts
    31

    logic circuit formula

    Given this circuit:



    I need to find a logical formula.

    I came up with this:

    (\neg (\neg p \wedge q)) \wedge (\neg (\neg p \wedge r) \vee s)))


    Is this correct? Can you simplify it to this?


    (p \wedge \neg q)  \wedge ((p \wedge \neg r) \vee s))
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Mar 2009
    Posts
    31
    We have the following:

    A1 = p' /\ q
    A2 = p' /\ r
    N3 = A1' = p v q'
    N2 = A2' = p v r'
    O1 = N2 v s = p v r' v s

    A3 = N3 /\ O1 = (p v q') /\ (p v r' v s).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Mar 2009
    Posts
    31
    Ok, so coming out of N3....if ~(~p \wedge q) = p \vee ~q ??

    A1 = ~p \wedge q
    A2 = ~p \wedge r
    N3 = ~(~p \wedge q) = p \vee ~q
    N2 = ~(~p \wedge r) = p \vee ~r
    O1 = p \vee ~r \vee s
    A3 = p \vee ~q \wedge p \vee ~r \vee s

    (p \vee ~q) \wedge (p \vee ~r \vee s)
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Mar 2009
    Posts
    31
    Quote Originally Posted by relyt View Post
    Ok, so coming out of N3....if ~(~p \wedge q) = p \vee ~q
    Yes, you negate each proposition and reverse the junction - if it is AND it becomes OR and vice-versa.

    For instance, let p = "Today is sunny" and q = "Today is raining".

    Then, ~p/\q implies: "Today is NOT sunny AND Today is raining".

    So, ~(~p/\q) means: NOT (Today is not sunny and today is raining), or, equivalently "Today is NOT-NOT sunny OR Today is NOT raining). That is, "Today is sunny OR NOT raining". It might be a cloudy weather...
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Circuit Analysis - Redrawing Circuit
    Posted in the Math Topics Forum
    Replies: 0
    Last Post: September 13th 2011, 06:20 PM
  2. Replies: 2
    Last Post: September 8th 2010, 11:08 AM
  3. Can someone check my logic (sentential logic)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: July 13th 2010, 03:30 AM
  4. what is the logic of the self inductance formula..
    Posted in the Advanced Applied Math Forum
    Replies: 0
    Last Post: August 28th 2009, 06:35 AM
  5. Logic Circuit/Boolean Algebra
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: July 29th 2009, 06:26 AM

Search Tags


/mathhelpforum @mathhelpforum