ВОРОТА | GATE-CS-2006 | Вопрос 28

Логическое бинарное отношение □ определяется следующим образом:

Пусть ~ — оператор унарного отрицания (НЕ) с более высоким приоритетом, чем □.

Что из следующего эквивалентно A∧B?

(A) (~A □ B)  
(B) ~(A □ ~B) 
(C) ~(~A □ ~B)   
(D) ~(~A □ B) 

(А) А
(Б) Б
(С) С
(D) D

Ответ: (D)
Пояснение: В A∧B у нас есть 3 записи как False и одна как True. В таблице это противоположный случай, поэтому мы должны отрицать A □ B, более того, мы хотим, чтобы True только тогда, когда оба A и B истинны, поэтому в 3-й записи (которая становится истинной после отрицания) мы хотим, чтобы оба истины, поэтому мы должен отрицать также.
Итак, A ∧ B ≡ ~ (~ A □ B), поэтому вариант (D) правильный.

Источник: www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html.
Тест на этот вопрос

Рекомендуемые посты:

• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 52
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 65
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 64
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 53
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 54
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 55
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 56
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 57
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 58
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 59
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 60
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 61
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 62
• ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 63
• ВОРОТА | Sudo GATE 2020 Mock II (10 января 2019 года) | Вопрос 65