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
Artificial Intelligence In The 21st Century
ISBN: 9781942270003
2nd Edition
Authors: Stephen Lucci, Danny Kopec
Question Posted: