4
$\begingroup$

There are three propositions A, B, C and another condition "some two of these propositions are true and the third one is false", or, in other words, "exactly 2 of 3 propositions are true". Using truth tables and a Karnaugh map (as discussed at How to find the logical formula for a given truth table?) i deducted the Boolean expression for this: ABC' + AB'C + A'BC. Is there any more succinct notation for this expression in any branch of logic?

Edit: Obviously using proposition calculus notation the above statement may be represented as: $(A \wedge B \wedge \neg C) \vee (A \wedge \neg B \wedge C) \vee (\neg A \wedge B \wedge C)$. I am sorry if that misguided you. I'm still interested, if any more succinct notation is possible.

  • 9
    I have never seen such a notation. Don't forget, if you are writing up something where you need this a lot, you can always invent ad hoc notation of your own. Just don't forget to explain it, and also beware that too much ad hoc notation may hinder rather than help communication, especially if it's not well thought out.2012-08-08
  • 0
    @HaraldHanche-Olsen I think the notation is similar to the boolean algebra operation of $\cdot$ and $+$ with the $\cdot$ implicitily used between letters.2012-08-08
  • 0
    If you are using the symbol for your own purposes (taking notes, studying, etc.), then invent any symbol you like. If you are planning to use this symbol on a manuscript you are expecting _anyone_ else to read, then I strongly suggest you do not use such a symbol. I personally believe that one should do everything possible to make their own papers as easy to read as possible. In my opinion, if you are not willing to put in the work to make your paper as easy to digest as possible, then why should others put in the work to read the paper? I would highly recommend simply using words.2012-08-08

2 Answers 2

8

Using the Iverson bracket, $$ [A]+[B]+[C]=2 $$

-1

The most symmetric definition of 'exactly one of three' I know is $$ \text{exactly one of } P, Q, R \text{ is true} \;\equiv\; (P \equiv Q \equiv R) \land \lnot (P \land Q \land R) $$ This uses the fact that equivalence ($\;\equiv\;$) is associative.

Using this, we can write \begin{align} & \text{exactly two of } A, B, C \text{ are true} \\ = & \;\;\;\;\;\text{"invert the count"} \\ & \text{exactly one of } A, B, C \text{ is false} \\ = & \;\;\;\;\;\text{"$\;P \equiv \text{false}\;$ is the same as $\;\lnot P \equiv \text{true}\;$ (three times)"} \\ & \text{exactly one of } \lnot A, \lnot B, \lnot C \text{ is true} \\ = & \;\;\;\;\;\text{"the above definition"} \\ & (\lnot A \equiv \lnot B \equiv \lnot C) \land \lnot(\lnot A \land \lnot B \land \lnot C) \\ = & \;\;\;\;\;\text{"simplify"} \\ & \lnot(A \equiv B \equiv C) \land (A \lor B \lor C) \\ \end{align}

  • 0
    The double use of $\equiv$ as a binary and ternary operatior is hideous and confusing.2013-11-18
  • 0
    @Lord_Farin Obviously we have different tastes at this point. :-) If $\;(P \equiv Q) \equiv R\;$ is equivalent to $\;P \equiv (Q \equiv R)\;$, as it is in classical logic, why write the parentheses? Also, the associativity and symmetry of $\;\equiv\;$ make a formula like $$P \land Q \;\equiv\; P \lor Q \;\equiv\; P \;\equiv\; Q$$ a very useful tool in logical calculations. As to confusion: that depends on what you are used to. If that downvote is yours: I don't really see how this answer deserves it. It is correct and it answers the question...2013-11-18
  • 0
    @Lord_Farin I changed the calculation to use $\;=\;$ throughout. That is actually what Dijkstra/Scholten and Gries/Schneider do in their work (EWD1300 and A Logical Approach to Discrete Math), if I recall correctly.2013-11-18
  • 0
    I see now. It is even more confusing than I thought at first, because I read $P\equiv Q\equiv R$ as "$P \equiv Q$ and $Q\equiv R$" until now. $\equiv$ looks too much like $=$ for tricks like these. Compare $P = Q = R$. // I downvoted because I consider this answer to be "not useful".2013-11-18
  • 0
    @Lord_Farin Does it become more useful if I use $\;\leftrightarrow\;$ or $\;\Leftrightarrow\;$ instead? It sounds like you disagree with the whole idea of using boolean (classical) equivalence associatively. But this _is_ a succinct, and also symmetric, answer to the question.2013-11-18
  • 1
    Indeed, I disagree with that practice. The notation is used commonly in two different ways (yours, apparently, and mine). That makes it a source of confusion, and I would never recommend someone to use such a thing. I'm not saying you didn't give an answer, but I consider it not to be a useful one. My downvote firmly stands.2013-11-18
  • 0
    +1 for firmness, although obviously I disagree: if one uses logic as a tool (as opposed to an object of study) then this is one of the things that is actually helpful. Therefore I prefer the other way to avoid confusion, which is to never write something like $\;\ldots = \ldots = \ldots\;$, and instead always use the calculational multi-line format as I used in this answer.2013-11-18