SOLUTION: construct a truth table for the following: 1. ~p-> q 2. ~(p->q)

Algebra.Com
Question 588459: construct a truth table for the following:
1. ~p-> q
2. ~(p->q)

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
# 1
p q ~p ~p -> q
T T F T
T F F T
F T T T
F F T F


========================================================================
# 2
p q p -> q ~(p -> q)
T T T F
T F F T
F T T F
F F T F


Notes:
1) ~p is the opposite of p. So if p is true, then ~p is false. If p is false, then ~p is true.

2) p -> q is only false when both p is true and q is false. Otherwise, p -> q is true.

RELATED QUESTIONS

Construct a truth table for ~q ^ p (answered by jim_thompson5910)
Construct a truth table for... (answered by solver91311)
construct a truth table for ~q ^ ~... (answered by Theo,solver91311)
Construct a truth table for p -->... (answered by jim_thompson5910)
Construct a truth table for q^ ~p (answered by Edwin McCravy)
Construct a truth table for ~q ^ p (answered by jim_thompson5910)
Construct a truth table for q -->... (answered by MathLover1)
Construct a truth table for : (~p^q) --> (~q ˇ... (answered by Edwin McCravy)
Construct a truth table for (~p^q) --> (~q ˇ... (answered by CubeyThePenguin)