I have a statement,
Either p or q
and I have to write it in terms of logical connectives but I don't get which logical connector should I be using?
Here is what I did (I think there could have been a better way to do this)
(p∨q)∧(¬((p⇒q)∧(q⇒p)))(p∨q)∧(¬((p⇒q)∧(q⇒p)))
