4. Use truth tables to determine if each of the following is a tautology, a contradiction, or...

Question:

4. Use truth tables to determine if each of the following is a tautology, a contradiction, or just satisfiable:

a. (p ˅ q) ⇒ ~p ˅ ~q

b. (~p ˄ ~q) ⇒ ~p ˅ ~q

c. (p ˅ q ˅ r) ≡ (p ˅ q) ˄ (p ˅ r)

d. p ⇒ (p ˅ q)

e. p ≡ p ˅ q

f. (p ↓ q) (p ↑ q) // consult exercises 2 and 3.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: