1.

Write the truth table of (p^q)^¬p

P Q (p^q)^¬p

F F F

F T F

T F F

T T F

2. Using truth tables, determine whether the following pairs are equivalent
a. ¬(p^q)

P Q ¬(p^q)

F F T

F T T

T F T

T T F

b. ¬pv¬q
P Q ¬pv¬q

F F T

F T T

T F T

T T F

3. Using truth tables, determine if the argument is tautology, contradiction or contingency

a. [p^(p->q)]->¬q (Therefore, the argument is a contingency)

P Q [p^(p->q)]->¬q

F F T

F T T

T F T

T T F