Truth Table ~p"implies"(p"exclusive or"~q)?

Question

I need to construct a truth table and I am stuck on the last two columns. Any ideas?The column I left off on was ~q(F,T,F,T)

Answer 1

In implication, false implies everything, and true implies true, so if ~p is false, whether p or q is true or false, p->p or ~q will be true. If ~p is true, p->p or ~q is true whenever (p or ~q) is true, which is true whenever p is true and whenever ~q is true. Thus, whenever p is true, this will be true, since ~p, which is false, implies anything. If p is false, this will only be true when q is also false, since then ~q is true, and p or ~ q is false or true, which is true.

Answer 2

make a column for each operation performed in the statement. list them in the order you would perform them. so the columns would be:

p
q
~q
p "exclusive or" ~q
~p
~p --> (p "exclusive or" ~q)

you should already have
p (T T F F)
q(T F T F)
~q(F T F T)
figure out the "exclusive or" operator next. This operator is between p and ~q so you would use those 2 columns and the logic rules for "exclusive or" to get this new column.

Answer 3

^^^ what she suggested. Led right here by the nostril. Or some thing else..yet we are able to not talk about that. I do answer different q's in the experience that they are exciting, yet I do keep on with my contacts reason they have an similar experience of humour.