# Thread: Help with understanding truth tables...

1. ## Help with understanding truth tables...

Hello everyone.

I'm definatly not understanding how to do truth tables, especially with Tautology.

If anyone could please help me to understand how to do this I'd greatly appreciate it.

I've read through my book and all but I still am getting very frustrated on this subject...

example--

Construct a truth table for -- [(pVq) ^ ~p] ->q

and show that the compund statement is a tautology.

thank you verk much. Jessica

2. Let $\alpha =[(p\vee q)\wedge\neg p]\rightarrow q$

$\begin{tabular*}{0.75\textwidth}{@{\extracolsep{\f ill}} | c | c | c | c | c | r | }
\hline
p & q & p\vee q & \neg p & (p\vee q)\wedge\neg q & \alpha \\
\hline
0 & 0 & 0 & 1 & 0 & 1 \\
\hline
0 & 1 & 1 & 1 & 1 & 1\\
\hline
1 & 0 & 1 & 0 & 0 & 1\\
\hline
1 & 1 & 1 & 0 & 0 & 1\\
\hline
\end{tabular*}$

3. Red Dog thank you for your help...but is there anyway you can explain how you got the answers?

4. You have to use the truth table for the logical operators $\vee ,\wedge ,\neg ,\rightarrow$