Exclusive disjunction - Revision history

Jon Awbrey at 01:45, 31 October 2015

2015-10-31T01:45:07Z

Jon Awbrey: update

2015-10-31T01:44:10Z

update

Jon Awbrey at 15:17, 16 May 2012

2012-05-16T15:17:52Z

Jon Awbrey at 11:14, 15 May 2012

2012-05-15T11:14:45Z

Jon Awbrey at 11:14, 15 May 2012

2012-05-15T11:14:15Z

Jon Awbrey at 11:12, 15 May 2012

2012-05-15T11:12:32Z

Jon Awbrey at 02:10, 15 May 2012

2012-05-15T02:10:07Z

Jon Awbrey: /* Peer nodes */ update

2012-05-14T04:06:51Z

Peer nodes: update

Jon Awbrey: /* Peer nodes */ update

2012-05-14T03:54:32Z

Peer nodes: update

Jon Awbrey: spacing

2012-05-13T16:36:31Z

spacing

@@ Line 3: / Line 3: @@
 '''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true.
-The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written <math>p + q\!</math> or <math>p \ne q,\!</math> appears below:
+The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written <math>p + q~\!</math> or <math>p \ne q,\!</math> appears below:
 <br>

@@ Line 42: / Line 42: @@
 ===Focal nodes===
 * [[Inquiry Live]]
 * [[Logic Live]]
 ===Peer nodes===
-{{col-begin}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Exclusive_disjunction Exclusive Disjunction @ InterSciWiki]
 * [http://mywikibiz.com/Exclusive_disjunction Exclusive Disjunction @ MyWikiBiz]
 * [http://ref.subwiki.org/wiki/Exclusive_disjunction Exclusive Disjunction @ Subject Wikis]
 * [http://beta.wikiversity.org/wiki/Exclusive_disjunction Exclusive Disjunction @ Wikiversity Beta]
 ===Logical operators===
@@ Line 139: / Line 130: @@
 ===Related articles===
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
+{{col-begin}}
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
+* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
+* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
-* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
+{{col-end}}
 ==Document history==
@@ Line 159: / Line 149: @@
 Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
-{{col-begin}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Exclusive_disjunction Exclusive Disjunction], [http://intersci.ss.uci.edu/ InterSciWiki]
 * [http://mywikibiz.com/Exclusive_disjunction Exclusive Disjunction], [http://mywikibiz.com/ MyWikiBiz]
 * [http://beta.wikiversity.org/wiki/Exclusive_disjunction Exclusive Disjunction], [http://beta.wikiversity.org/ Wikiversity Beta]
 * [http://en.wikipedia.org/w/index.php?title=Exclusive_disjunction&oldid=75153068 Exclusive Disjunction], [http://en.wikipedia.org/ Wikipedia]
 [[Category:Inquiry]]

@@ Line 169: / Line 169: @@
 * [http://en.wikipedia.org/w/index.php?title=Exclusive_disjunction&oldid=75153068 Exclusive Disjunction], [http://en.wikipedia.org/ Wikipedia]
 {{col-end}}
 [[Category:Inquiry]]

@@ Line 3: / Line 3: @@
 '''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true.
-The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written as <math>p + q\!</math> or <math>p \ne q,\!</math> appears below:
+The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written <math>p + q\!</math> or <math>p \ne q,\!</math> appears below:
 <br>

@@ Line 3: / Line 3: @@
 '''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true.
-The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written as <math>p + q\!</math> or <math>p \ne q,\!</math> is shown below:
+The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written as <math>p + q\!</math> or <math>p \ne q,\!</math> appears below:
 <br>

@@ Line 54: / Line 54: @@
 {{col-break}}
 * [http://mywikibiz.com/Exclusive_disjunction Exclusive Disjunction @ MyWikiBiz]
-* [http://mathweb.org/wiki/Exclusive_disjunction Exclusive Disjunction @ MathWeb Wiki]
+* [http://intersci.ss.uci.edu/wiki/index.php/Exclusive_disjunction Exclusive Disjunction @ InterSci Wiki]
-* [http://netknowledge.org/wiki/Exclusive_disjunction Exclusive Disjunction @ NetKnowledge]
+* [http://wiki.oercommons.org/mediawiki/index.php/Exclusive_disjunction Exclusive Disjunction @ OER Commons]
 {{col-break}}
 * [http://p2pfoundation.net/Exclusive_Disjunction Exclusive Disjunction @ P2P Foundation]
 * [http://semanticweb.org/wiki/Exclusive_disjunction Exclusive Disjunction @ SemanticWeb]
 {{col-end}}

@@ Line 25: / Line 25: @@
 <br>
-The following equivalents can then be deduced:
+The following equivalents may then be deduced:
-: <math>\begin{matrix}
+{| align="center" cellspacing="10" width="90%"
-p + q & = & (p \land \lnot q) & \lor & (\lnot p \land q) \\
-\\
+<math>\begin{matrix}
-       & = & (p \lor q) & \land & (\lnot p \lor \lnot q) \\
+p + q & = & (p \land \lnot q)  & \lor & (\lnot p \land q)
-\\
+\\[6pt]
        & = & (p \lor q) & \land & \lnot (p \land q)
 \end{matrix}</math>
 ==Syllabus==