Intereting Posts

Can a collection of points be recovered from its multiset of distances?
How to prove $\log n \leq \sqrt n$ over natural numbers?
Prove Minkowski's inequality directly in finite dimensions
Telling which sum is greater, the odd or even powers of a Poisson random variable
Equality of integrals
Is there a commutative operation for which the inverse of the operation is also commutative?
Probability Problem on Divisibility of Sum by 3
Local Ring of a Subvariety (problem 1.3.13 in Hartshorne)
Multivariable calculus – Implicit function theorem
Stopping time question $\sigma$
Why is gradient the direction of steepest ascent?
Proving $\left(A-1+\frac1B\right)\left(B-1+\frac1C\right)\left(C-1+\frac1A\right)\leq1$
What is the *middle* digit of $3^{100000}$?
Series Question: $\sum_{n=1}^{\infty}\frac{n+1}{2^nn^2}$
How to generate random symmetric positive definite matrices using MATLAB?

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)

- Help: rules of a game whose details I don't remember!
- Is there a law that you can add or multiply to both sides of an equation?
- Finding Expressively Adequate truth Functions
- Can a model of set theory think it is well-founded and in fact not be?
- For a compact logic, strong completeness follows from weak completeness
- Proof of Drinker paradox

$(p \lor q ) \land (\neg((p \Rightarrow q) \land (q \Rightarrow p)))$

- A possible vacuous logical implication in Topology
- Ways to write 'P => Q'
- What's the difference between a contrapositive statement and a contradiction?
- Why is it that if “A is sufficient for B” then “B is necessary for A”?
- How do I convince someone that $1+1=2$ may not necessarily be true?
- Existence of elementary substructures of a uncountable structure over a countable language
- Does Lowenheim-Skolem theorem depend on axiom of choice?
- Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
- Some questions about mathematical content of Gödel's Completeness Theorem
- Help on a proof about Ramsey ultrafilters

To me, the word “either” is unnecessarily confusing, and should be avoided if possible (of course, since it is part of the problem we have no choice in this case).

If “either $p$ or $q$” means the same thing as “$p$ or $q$”, then the answer is simply $p\vee q$ (by the definition of $\vee$).

However, if “either $p$ or $q$” means “either $p$ or $q$, **but not both**” then this is equivalent to “$p$ is true and $q$ is false, or $p$ is false and $q$ is true”. Do you see how to write the logical expression for this?

If “Either p or q” means “p or q”, then logical disjunction $p \lor q$ would do it, if “Either p or q” means not both, then exclusive disjunction is needed: $p \oplus q = (p\land \neg q)\lor (\neg p\land q) = (\neg p\lor \neg q)\land (p\lor q)$.

There are several symbols for exclusive or, including $\oplus$ and $\veebar$. However, while in classical logic such connectives are both easily defined in terms of existing connectives and by means of a truth-table, they are not commonly employed in mathematics.

It’s worth noting that there are many minimal functionally complete sets of logical connectives, but the definition of xor in terms of formulae using predefined connectives will be different in each. An obvious one is replacing $\phi \oplus \psi$ with $(\phi \vee \psi) \wedge \neg (\phi \wedge \psi)$.

Assuming I understand the question correctly (you’re looking to describe “exclusive or”), hint: either p or q means p is true and not q, or (inclusive or) …

You could also try draw the truth table.

- How to calculate volume of 3d convex hull?
- References for coordinate-free linear algebra books
- Offseting a Bezier curve
- When does $V = \ker(f) \oplus \operatorname{im}(f)$?
- Foundational proof for Mersenne primes
- Finite expectation of renewal process
- Integral $ \dfrac { \int_0^{\pi/2} (\sin x)^{\sqrt 2 + 1} dx} { \int_0^{\pi/2} (\sin x)^{\sqrt 2 – 1} dx} $
- Dominant morphism between affine varieties induces injection on coordinate rings?
- Method for coming up with consecutive integers not relatively prime to $(100!)$
- Understanding induced representations
- About powers of irrational numbers
- weak subsolution
- Calculating a spread of $m$ vectors in an $n$-dimensional space
- Proof that $1729$ is the smallest taxicab number
- How to solve the following identity?