Can someone help me make a Truth Table for this problem please.. ~p ^ (~r ^ q)
i ored it ...
set up r and q r -r q -r^q t f t f f t t t f f f t f f may be better
p -p -p -r^q -p^(-r^q) t f f f f f t f t f f f f f f f t f f t t t t f f t f f i cant recall if "f.f = t" tho
i have to show the whole process.. for the truth table.. my professor gave me this to start with p q r ~p ~r ~r ^ q ~p ^ (~r ^ q) T T T T T F T F T T F F F T T F T F F F T F F F now i just have to finish the rest.
You understand the general method of constructing a truth table? \[\begin{array}{|ccc|c|c|c|c|c} p&q&r&\lnot p & \lnot r & \lnot r\wedge q & \lnot p \wedge(\lnot r \wedge q) \\ \hline T & T& T \\T & T & F \\ T&F & T \\ T & F & F \\ F & T& T \\ F & T & F \\ F & F & T \\ F & F & F\end{array}\]
negate P negate r
yes the ~ is for not... so it would be Not P
Right, so now you just fill up the \(\lnot p\) column with the OPPOSITE of whatever p is for that row.
id do -r^q first, but i think they are associative to begin with
For example I'll do the first 5 in that column: \[\begin{array}{|ccc|c|c|c|c|c} p&q&r&\lnot p & \lnot r & \lnot r\wedge q & \lnot p \wedge(\lnot r \wedge q) \\ \hline T & T& T & F\\T & T & F & F\\ T&F & T & F \\ T & F & F & F \\ F & T& T & T\\ F & T & F \\ F & F & T \\ F & F & F\end{array}\]
i get discrete math this term :) gonna be doing these in chapter 1
Yep. I did a few of them last semester ;)
So its the opposite for ~r too right?
\(\lnot r \) is the opposite of r yes.
Ok i got ~r done how
how do i do the next row?
Oh drat
It's AND, not or.
so the if either one have a T then its T?
\(\lnot r\) must be T AND q must be T for \(\lnot r \wedge q\) to be T
No, I got the operator wrong. \(\wedge\) is AND. I said OR originally. They must BOTH be True for this column to be True.
ok
practicing your tables Satellite? ;)
so it should be F F F F T T F F
\[\begin{array}{|ccc|c|c|c|c|c} p&q&r&\lnot p & \lnot r & \lnot r\wedge q & \lnot p \wedge(\lnot r \wedge q) \\ \hline T & T& T & F& F & F \\T & T & F & F& T & T \\ T&F & T & F & F & F \\ T & F & F & F &T & F \\ F & T& T & T & F & F \\ F & T & F &T & T & T \\ F & F & T &T & F & F \\ F & F & F&T & T & F \end{array}\]
Is that what you got?
yup thats what i got
trying to leap over 3 columns gets my eyes lost :)
lol mine too. so how do i do the final column?
Ok so now the last column will be True if and only if the \(\lnot p\) is True and the \(\lnot r \wedge q\) column is True.
Because it's \(\lnot p\) AND (\(\lnot r\) AND q)
so it should be f f f f f t f f
I honestly don't know why they use \(\wedge\) and \(\vee\) since it's not any harder to write AND or OR, and it's harder to mix them up.
yea i agree with you there polnak
dont be afraid to re order to columns to make life easier: \begin{array}{|ccc|c|c|c|c|c} p&r&q&\lnot r & \lnot r\wedge q & \lnot p & \lnot p \wedge(\lnot r \wedge q) \\ \end{array} perhaps
mine is different
That's because I screwed it up
lol
\[\begin{array}{|ccc|c|c|c|c|c} p&q&r&\lnot p & \lnot r & \lnot r\wedge q & \lnot p \wedge(\lnot r \wedge q) \\ \hline T & T& T & F& F & F & F \\T & T & F & F& T & T & F \\ T&F & T & F & F & F & F \\ T & F & F & F &T & F & F \\ F & T& T & T & F & F & F \\ F & T & F &T & T & T& T \\ F & F & T &T & F & F & F \\ F & F & F&T & T & F & F \end{array}\]
Thats what i have :) :)
p r q ---------- -F ^ -F ^ T should be the only "True" you get, regardless of the rest of it :)
Thank you Polnak:) for helping me with this .. i'm sure i will be having MORE of these types of problems lol
just keep your \(\wedge\) = AND, \(\vee\) = OR straight, and you'll be fine.
ok thank you
Join our real-time social learning platform and learn together with your friends!