Una relación lógica binaria □ se define como sigue:
Sea ~ el operador de negación unaria (NOT), con mayor precedencia que □.
¿Cuál de los siguientes es equivalente a A∧B ?
(A) (~A □ B) (B) ~(A □ ~B) (C) ~(~A □ ~B) (D) ~(~A □ B)
(A) A
(B) B
(C) C
(D) D
Respuesta: (D)
Explicación: En A∧B, tenemos 3 entradas como Falso y una como Verdadero. En la tabla, es el caso opuesto, por lo que tenemos que negar A □ B, además, queremos Verdadero solo cuando tanto A como B son verdaderos, por lo que en la tercera entrada (que se vuelve verdadero después de la negación), queremos que ambos sean verdaderos, por lo que también hay que negar A.
Entonces A ∧ B ≡ ~(~A □ B), entonces la opción (D) es correcta.
Fuente: www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html
Prueba de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA