<< Mentor Note -- Moved from the technical math forums, so no HH Template is shown >> I am currently working through a Finite math book Intro to finite math: second Edition Kemeny, Snell, and Thompson. One of the exercises wants me to construct a truth table for the following: ~(p|q) earlier I am told that let p|q express that "p and q are not both true". Earlier I worked out that the symbolic form of this statement (p|q) to be ~(p/\~q). my work on constructing a truth table for ~(p|q) p|q ~ ~ (p /\ ~ q) t t F T t f f t t f T F t t t f f t F T f f f t f f F T f f t f From here I thought I was to answer the ~ closest to (p, by countering what was under /\, giving me T F T T and then further negating that, ending with F T F F. This is wrong according to the book. as this truth table should end with T F F F. 2 questions: Is my symbolic form of ~(p|q) wrong and therefore my answer wrong, and/or, did I work something out wrong giving me the wrong answer. I think I probably made the symbolic version wrong but am not sure of how to go about this.