Рубрики

ВОРОТА | 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.
Тест на этот вопрос

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

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

0.00 (0%) 0 votes