The "outcome table" is not a universally accepted term in math or computer science. I assume it means the table that shows the final value of x for each combination of truth values of p, q and r. But what is the initial value of x, or do you need to express the final value in terms of the initial one? Also, is C in "x C x + 2" a synonym of <--, i.e., assignment? Are "case" and "end-case" used for grouping only? Other programming languages use "begin" and "end" (Pascal) or curly braces (C, C++, Java) for grouping, and "case" often is a separate choice operator. Finally, on this forum you can put computer code between the [code]...[/code] tags to preserve alignment.

What exactly is your difficulty with this problem? Granted, it is tedious to follow the branching structure for each truth value of p, q and r, but this is not complicated. In fact, even computers can do it very well.