Welcome to our community

Be a part of something great, join today!

Truth tables

evinda

Well-known member
MHB Site Helper
Apr 13, 2013
3,718
Hello!!! (Wave)

I want to calculate the truth tables of the following propositions:

$$(p \land q) \lor (\lnot p \land q) \to q \\ p \land \lnot q \to r$$

I have done the following:


\begin{equation*}
\begin{array}{c|c|c|c|c}
p & q & p \land q & \lnot p \land q & (p \land q) \lor (\lnot p \land q) \to q \\
\hline
1 & 1 & 1 & 0 & 1 \\
1 & 0 & 0 & 0 & 1 \\
0 & 0 & 0 & 0 & 1 \\
0 & 1 & 0 & 1 & 1
\end{array}
\end{equation*}

and

\begin{equation*}
\begin{array}{c|c|c|c}
p & q & \lnot q & p \land \lnot q \\
\hline
1 & 1 & 0 & 0 \\
1 & 0 & 1 & 1 \\
0 & 0 & 1 & 0 \\
0 & 1 & 0 & 0
\end{array}
\end{equation*}

If $p=q=1$ and $r=0$, then $p \land \lnot q \to r$ is true, and the same holds if $r=1$. The same holds when $p=q=0$ and $p=0$, $q=1$.

If $p=1$ and $q=0$, then if $r=0$ then $p \land \lnot q \to r$ is false, and if $r=1$ then it is true.
Is everything right? Or have I done something wrong? :unsure:
 

castor28

Well-known member
MHB Math Scholar
Oct 18, 2017
242
Hi evinda ,

That looks correct
 

evinda

Well-known member
MHB Site Helper
Apr 13, 2013
3,718