Determine which formula pairs are equivalent. If equivalent, prove it using the laws of equivalence and...

Transcribed Image Text:

Determine which formula pairs are equivalent. If equivalent, prove it using the laws of equivalence and mention the laws used at each step. If it is not equivalent, give an interpretation that makes the truth value different. a. r^(p→q) V (¯q → r) and (¬r →p) → ((p↔q) ^r) b. (ps) V (r^rVp ^-q) ^ (q→ r) and ¯p V-q VrVs c. (pr) ^ (q→ p) ^ (r→ ¬p) and¯p ^r V p^r Determine whether the following proposition is a tautology, contradiction, or satisfiable and explain why! ( ~a → b → c) Л (аЛЪЛ ¬c) {[(-a V b) A a] V b} → (c→ b) V (b→ c) {(-a→b) + (~a ^ ~c) ^ −b} Л(АЛЪЛ ¬c) a. b. c. Determine which formula pairs are equivalent. If equivalent, prove it using the laws of equivalence and mention the laws used at each step. If it is not equivalent, give an interpretation that makes the truth value different. a. r^(p→q) V (¯q → r) and (¬r →p) → ((p↔q) ^r) b. (ps) V (r^rVp ^-q) ^ (q→ r) and ¯p V-q VrVs c. (pr) ^ (q→ p) ^ (r→ ¬p) and¯p ^r V p^r Determine whether the following proposition is a tautology, contradiction, or satisfiable and explain why! ( ~a → b → c) Л (аЛЪЛ ¬c) {[(-a V b) A a] V b} → (c→ b) V (b→ c) {(-a→b) + (~a ^ ~c) ^ −b} Л(АЛЪЛ ¬c) a. b. c.

Answer rating: 100% (QA)

a rpq V qr and rp pq r This formula pair is equivalent To prove this it can be shown that the two formulas are logically equivalent using the laws of ... View the full answer