Subjects logic

Exclusive Disjunction

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Exclusive Disjunction


1. The problem asks to express the exclusive disjunction $p@q$ using only negation ($\sim$), conjunction ($\wedge$), and inclusive disjunction ($\vee$). 2. By definition, $p@q$ means exactly one of $p$ or $q$ is true, but not both. 3. This can be expressed as: $$(p \wedge \sim q) \vee (\sim p \wedge q)$$ 4. Explanation: The formula states that either $p$ is true and $q$ is false, or $p$ is false and $q$ is true. 5. This uses only negation, conjunction, and inclusive disjunction as required. Final answer: $p@q \equiv (p \wedge \sim q) \vee (\sim p \wedge q)$