Question 7796 – Digital-Logic-Design
November 15, 2023Software-Engineering
November 15, 2023GATE 2004-IT
|
Question 3
|
Let a(x, y), b(x, y,) and c(x, y) be three statements with variables x and y chosen from some universe. Consider the following statement:
(∃x)(∀y)[(a(x, y) ∧ b(x, y)) ∧ ¬c(x, y)]
Which one of the following is its equivalent?
|
(∀x)(∃y)[(a(x, y) ∨ b(x, y)) → c(x, y)]
|
|
|
(∃x)(∀y)[(a(x, y) ∨ b(x, y)) ∧¬ c(x, y)]
|
|
|
¬(∀x)(∃y)[(a(x, y) ∧ b(x, y)) → c(x, y)]
|
|
|
¬(∀x)(∃y)[(a(x, y) ∨ b(x, y)) → c(x, y)]
|
Question 3 Explanation:
Correct Answer: C
Question 3 Explanation: