Question 7796 – Digital-Logic-Design
November 15, 2023Question 10966 – Halstead-method
November 15, 2023Question 11129 – Engineering-Mathematics
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?
Correct Answer: C
Question 1 Explanation:
(∀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)]
Subscribe
Login
0 Comments