Wiki source code of xor
Last modified by Administrator on 2020/08/13 18:57
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | h1. Notations of XOR | ||
| 2 | |||
| 3 | In logic, XOR is a connective known as the "exclusive or," or exclusive disjunction. It yields true if exactly one (but not both) of two conditions is true. | ||
| 4 | |||
| 5 | |||
| 6 | h3. Description of this symbol | ||
| 7 | |||
| 8 | - XOR in [OpenMath|http://www.openmath.org/cd/logic1.xhtml#xor] | ||
| 9 | - XOR in [MathML|http://www.w3.org/TR/MathML3/chapter4.html#contm.xor] | ||
| 10 | - XOR also is described in [MathWord|http://mathworld.wolfram.com/XOR.html] and in [Wikipedia|http://en.wikipedia.org/wiki/XOR_Logic] | ||
| 11 | |||
| 12 | ---- | ||
| 13 | |||
| 14 | h3. Observations of XOR symbol | ||
| 15 | |||
| 16 | Put your observations here... | ||
| 17 | |||
| 18 | h4. English | ||
| 19 | !xor1-en.png|align=right! The English book [encyclopedia of mathematics|Census.Bibliography#encyclopediaOFmathematics-Weisstein] denotes to _XOR_ symbol in the example on the right. | ||
| 20 | [Find the example in page 3220 in google books link|http://books.google.com/books?id=_8TyhSqHUiEC&lpg=PA3220&vq=XOR%20gate&dq=Argument%20arg&lr&pg=PA3220#v=onepage&q&f=false] | ||
| 21 | |||
| 22 | \\ | ||
| 23 | |||
| 24 | ---- | ||
| 25 | |||
| 26 | h3. Encoding the observations of XOR | ||
| 27 | [See encodings|http://devdemo.activemath.org/mathbridge/tools/symbolpresentation.cmd?order=by+Theory&lang=x-all&fmt=html&clipCoordinate=3&omsource=+%3COMOBJ%3E%0D%0A%0D%0A++++++++%3COMA%3E%0D%0A%0D%0A++++++++++%3COMS+cd%3D%22logic1%22+name%3D%22xor%22+%2F%3E%0D%0A%0D%0A++++++++++%3COMV+name%3D%22a%22+%2F%3E%0D%0A%0D%0A++++++++++%3COMV+name%3D%22b%22+%2F%3E%0D%0A%0D%0A++++++++%3C%2FOMA%3E%0D%0A%0D%0A++++++%3C%2FOMOBJ%3E&submit=View] | ||
| 28 | |||
| 29 | \\ | ||
| 30 | |||
| 31 | ---- |