Open In App

GATE | GATE-CS-2006 | Question 28

Like Article
Like
Save
Share
Report

A logical binary relation â–¡ ,is defined as follows: 
 

GATE2006_Q28

Let ~ be the unary negation (NOT) operator, with higher precedence than â–¡. 

Which one of the following is equivalent to A∧B ? 

(A) (~A â–¡ B)  
(B) ~(A â–¡ ~B) 
(C) ~(~A â–¡ ~B)   
(D) ~(~A â–¡ B) 

 

(A)

C
 

(B)

D
 

(C)

B
 

(D)

A
 



Answer: (B)

Explanation:

In A∧B, we have 3 entries as False, and one as True. In table, it is opposite case, so we have to negate A â–¡ B, moreover, we want True only when both A and B are true, so in 3rd entry (which becomes true after negation), we want both true, so we have to negate A also. 
So A ∧ B ≡ ~(~A □ B), so option (D) is correct.


Quiz of this Question
Please comment below if you find anything wrong in the above post


Last Updated : 28 Jun, 2021
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads