Results 1 to 4 of 4

Math Help - Struggling to understand logic tables and proposition

  1. #1
    Member
    Joined
    Oct 2011
    Posts
    170
    Thanks
    3

    Struggling to understand logic tables and proposition

    So another topic in which I have failed to get a grasp of so here I am coming to a forum for help

    Basically for the last 3 weeks or so we have been learning about logic tables and stuff. I kinda understand it when I read it, but putting them into a table, or making a formular for a table I just dont get it.



    It says the assignment is

    You are given a 4-variable propositional logic function in the form of a truth-table generated by MATLAB code. The assignment tasks are: to obtain the disjunctive normal form (using tutorial instructions given later in this document); to simplify the disjunctive normal form using algebraic identities to implement the full and simplified forms in MATLAB code and finally to verify that the simplified logic functions give the same truth-table as that
    originally obtained from the supplied code.

    But this makes absolutely no sense to me... and my lecturer is too busy to spend one to one time with me
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765

    Re: Struggling to understand logic tables and proposition

    Concerning your second remark in red, "where s came from," it's probably a typo at this point. I would not worry about this.

    The third remark in red is about an example of simplifying a DNF. It's not necessary to replace p /\ q by s; you can just replace back s with p /\ q in every line there. The point is that one can replace a part of an expression that matches the left-hand side of an equivalence like p /\ (q \/ r) <-> (p /\ q) \/ (p /\ r) with the right-hand side (or vice versa). The intention is a serious of rewrites is to make the original DNF expression simpler.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jun 2011
    Posts
    45

    Re: Struggling to understand logic tables and proposition

    I think you just need a more intuitive way to explain what they're doing. First, you want to look for any set of truth values that show up within multiple parentheses. Replace those with a single truth value - so in that case they chose s to represent p ^ q. In a more complicated expression, you could replace more pairs or triples with symbols. It just makes the algebra easier.

    Second, use basic truth laws to simplify the expression. This just takes practice. From the first to the second line, you see (s^~r) v (s^r) --> s^(~r v r) because of distributive properties. You then notice that if you have either r of ~r, it really doesn't matter what r is - so get rid of it (the T in the third lines says that r v ~r is true no matter what, so leave it out, since we only care about truth variables that can change). The fourth line is, once again, using those distributive laws.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,501
    Thanks
    765

    Re: Struggling to understand logic tables and proposition

    Quote Originally Posted by jsndacruz View Post
    I think you just need a more intuitive way to explain what they're doing. First, you want to look for any set of truth values that show up within multiple parentheses. Replace those with a single truth value
    The words "truth value" should be replaced by "propositional variable." A truth value is T or F; variables are p, q, etc. Interpretations are functions that map variables to truth values.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Truth tables Propositional Logic.
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 23rd 2011, 02:51 AM
  2. Can you help me understand this logic proof?
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: February 24th 2010, 05:51 AM
  3. Prepositional logic, truth tables and Venn diagrams
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: March 28th 2009, 09:44 AM
  4. Proposition Logic problem
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: October 29th 2008, 10:16 AM
  5. Logic - Truth Tables
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 21st 2008, 08:24 PM

Search Tags


/mathhelpforum @mathhelpforum