MHB Calculating Truth Tables for Propositions

  • Thread starter Thread starter evinda
  • Start date Start date
AI Thread Summary
The discussion focuses on calculating truth tables for two propositions: $$(p \land q) \lor (\lnot p \land q) \to q$$ and $$p \land \lnot q \to r$$. The user presents their truth tables and analyzes various scenarios for the truth values of p, q, and r. They confirm that the truth tables are accurate, noting specific cases where the implications hold true or false. The responses affirm the correctness of the calculations, providing reassurance to the user. Overall, the calculations and interpretations of the truth tables are validated.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
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:
 
Physics news on Phys.org
Hi evinda,

That looks correct
 
castor28 said:
Hi evinda,

That looks correct

Nice, thank you! :)
 

Similar threads

Replies
17
Views
2K
Replies
45
Views
4K
Replies
1
Views
2K
Replies
2
Views
2K
Replies
1
Views
1K
Replies
4
Views
1K
Replies
5
Views
2K
Replies
18
Views
4K
Back
Top