SOLUTION: Hello there! I have been trying to attempt to make a truth chart & am completely lost! Can you please help me with the following problem? ~p → (p^~q) The symbols get

Algebra ->  Algebra  -> Conjunction -> SOLUTION: Hello there! I have been trying to attempt to make a truth chart & am completely lost! Can you please help me with the following problem? ~p → (p^~q) The symbols get      Log On

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

Question 484348: Hello there! I have been trying to attempt to make a truth chart & am completely lost! Can you please help me with the following problem?
~p → (p^~q)
The symbols get me all confused. I'm trying to understand the logic of what the problem is saying...any help would be greatly appreciated.
Thank you.
Answer by stanbon(57967) About Me  (Show Source):
You can put this solution on YOUR website!
~p → (p ^ ~q)
F:::::::::T::::::F
F:::::::::T::::::T
T:::::::::F::::::F
T:::::::::F;:::::T

============================
Now figure the ^ column which is T only when both p and ~q are true:
~p → (p ^ ~q)
F:::::::::T::F:::F
F:::::::::T::T:::T
T:::::::::F::F:::F
T:::::::::F::F:::T

============================
Now figure the "implies" column
which is F only when ~p is T and ^ is F
~p → (p ^ ~q)
F::::T::::T::F:::F
F::::T::::T::T:::T
T::::F::::F::F:::F
T::::F::::F::F:::T
----
So the statement is true when p is true.
=================
Please use Google to search for "truth tables" to get
additional information on this topic. As you can see,
it is very cumbersome to display a solution on this site.
=================
Cheers,
Stan H.