Given that "Agra and Gwalior are both in India"
representation :- In(x,y) means x is in India
In(Agra,India) ----(1)
In(Gwalior,India) ---(2)
According to the english statement, In(Agra,India) is should be true, In(Gwalior,India) is should be true
therefore use Conjunction as Connector ===> In(Agra,India) ^ In(Gwalior,India).
but given that In(Agra,India) ⋁ In(Gwalior,India) ====> syntactically correct but not represent the given enlish statement.
option :- a is correct