PUERTA | PUERTA-CS-2006 | Pregunta 28

Una relación lógica binaria □ se define como sigue:
GATE2006_Q28

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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *