MHB Create a Truth Table: (p ^ q) ->(p ▼ ~q)

[rymatson406]

(p ^ q) ->(p ▼ ~q)

Need help creating a truth table (6 columns) for the above.Thanks

 

[Evgeny.Makarov]

I assume the formula is $(p\land q)\to(p\lor \neg q)$.

Have you seen examples of creating a truth table? Can you write a truth table for $p\land q$, which is a part of the required truth table? What exactly is your difficulty?

 

[Deveno]

Presumably your first two columns are for $p$ and $q$, which have two possible values each, making the table of necessity four rows "deep". I would go with:

T T
T F
F T
F F

for the first two columns (but other row-orders are possible).

It's hard to say what the next four columns are supposed to be, my guess is:

$\neg q,\ p \wedge q,\ p \vee \neg q$ and $(p \wedge q) \rightarrow (p \vee \neg q)$.

Really, only the last one is "necessary", but it's easier on the ol' noggin to include the other 3.

 

[soroban]

Hello, rymatson406!

Create a truth table for: .$$(p \wedge q)\;\to\;(p \,\vee \sim q)$$

. . . . $$\begin{array}{|c|c|c|c|c|c|c|c|c|} p & q & (p & \wedge & q) & \to & (p & \vee & \sim q) \\ \hline T&T & T&T&T &T& T&T&F \\ T&F &T&F&F &T& T&T&T \\ F&T &F&F&T &T& F&F&F \\ F&F & F&F&F &T& F&T&T \\ \hline && 1&2&1&3&1&2&1 \\ \hline \end{array}$$**