# 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.

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 $\displaystyle \alpha =[(p\vee q)\wedge\neg p]\rightarrow q$

$\displaystyle \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 $\displaystyle \vee ,\wedge ,\neg ,\rightarrow$