Discrete Math/ Truth Table help?

You've got three variables, p, q, and r, so the truth table will have

8 = 2^3 rows to cover all the possible combinations of their truth-values.

I'm not sure of the scope of the leftmost NOT; is that supposed to be

NOT((r->NOT q) v (p or NOT r))

or is it

(NOT(r->NOT q)) v (p or NOT r) ?

Also, you say you don't know the code for "or" but that's the meaning I've usually seen for "v".

So I'm hesitant to try to produce a table anyway, and will proceed to some suggestions.

With a complex statement like this, it's often useful to list the variables on the left and then add parts of the whole statement in separate columns. In this case, I'd add columns for

(r->NOT q)

and for

(p or NOT r)

and fill those columns before moving on to the complete statement. So your table will look something like this:

p q r (r->NOT q) (p or NOT r) NOT(r->NOT q) v (p or NOT r)

T T T . . . F . . . . . . . . . T . . . . . . . . . . . . . . . . ?

T T F . . . T . . . . . . . . . T . . . . . . . . . . . . . . . . ?

T F T . . . T . . . . . . . . . T . . . . . . . . . . . . . . . . ?

T F F . . . T . . . . . . . . . T . . . . . . . . . . . . . . . . ?

F T T . . . F . . . . . . . . . F . . . . . . . . . . . . . . . . ?

F T F . . . T . . . . . . . . . T . . . . . . . . . . . . . . . . ?

F F T . . . T . . . . . . . . . F . . . . . . . . . . . . . . . . ?

F F F . . . T . . . . . . . . . T . . . . . . . . . . . . . . . . ?

[Ignore the periods--I'm just trying to defeat the Answers space-scrunching and make the columns line up.]

Obviously the truth-values in the final column will depend on the answers to the questions I raised above about the expression as a whole. But working with parts of the statement first will make it easier to fill that out.

~ is the symbol for NOT.

I don't know that I could explain the steps but I found a cool table constructor that may help you.

http://www.brian-borowski.com/Software/Truth/

And yes, R is a propositional value.

Good luck!

there are no blanks?