exclusive or: difference between revisions
Jump to navigation
Jump to search
Content deleted Content added
→Translations: checktrans |
→Noun: combined two lengthy definitions into one, corrected formula in usage notes, checked translations |
||
Line 13: | Line 13: | ||
{{en-noun|sg=[[exclusive]] [[or]]|exclusive ors}} |
{{en-noun|sg=[[exclusive]] [[or]]|exclusive ors}} |
||
# {{logic|computing}} A [[connective]] joining two [[predicate]]s A and B that yields logical value true when only one of the two is true. |
|||
# {{context|logic|computing}} [[exclusive disjunction|Exclusive disjunction]]: the use of {{term|or}} to indicate that of two predicates, one is true and one is false (without specifying which is which); {{non-gloss definition|contrasted with [[inclusive or]], which does not imply that one must be false.}} |
|||
# {{context|logic|computing|more generally}} [[exclusive disjunction|Exclusive disjunction]]: the use of {{term|or}} to indicate that of two or more predicates, an odd number are true (without specifying which or how many); {{non-gloss definition|contrasted with [[inclusive or]], which indicates only that one or more is true.}} |
|||
# {{context|logic|computing}} An [[exclusive disjunction]]; the result of applying the above-described exclusive or to two or more predicates; {{non-gloss definition|contrasted with an [[inclusive or]], which is the result of applying an inclusive or.}} |
# {{context|logic|computing}} An [[exclusive disjunction]]; the result of applying the above-described exclusive or to two or more predicates; {{non-gloss definition|contrasted with an [[inclusive or]], which is the result of applying an inclusive or.}} |
||
====Usage notes==== |
====Usage notes==== |
||
* {{sense|the result}} In an expression of formal logic, the phrase {{term||exclusive or}} (or hyphenated as {{term||exclusive-or}}) may appear between the predicates, much like a conjunction: |
* {{sense|the result}} In an expression of formal logic, the phrase {{term||exclusive or}} (or hyphenated as {{term||exclusive-or}}) may appear between the predicates, much like a conjunction: |
||
*: ''x'' ∧ ¬''y'' → ''x'' ⊕ ''y''. |
*: (''x'' ∧ ¬''y'') V (¬''x'' ∧ ''y'') → ''x'' ⊕ ''y'', which reads: ''x'' '''exclusive-or''' ''y''.'' |
||
*: '' ''x'' and not ''y'' implies ''x'' '''exclusive-or''' ''y''.'' |
|||
====Translations==== |
====Translations==== |
||
{{ |
{{trans-top|connective}} |
||
* Finnish: |
* Finnish: {{t|fi|eksklusiivinen tai}}, {{t|fi|poissulkeva tai}} |
||
* French: [[ou exclusif]] |
* French: [[ou exclusif]] |
||
* Hungarian: [[kizáró vagy]] |
* Hungarian: [[kizáró vagy]] |
Revision as of 05:28, 15 October 2009
English
Alternative forms
Etymology
From (deprecated template usage) exclusive + (deprecated template usage) or.
Noun
exclusive or (plural exclusive ors)
- Template:logic A connective joining two predicates A and B that yields logical value true when only one of the two is true.
- (deprecated template usage) Lua error in Module:parameters at line 360: Parameter 1 should be a valid language or etymology language code; the value "logic" is not valid. See WT:LOL and WT:LOL/E. An exclusive disjunction; the result of applying the above-described exclusive or to two or more predicates; contrasted with an inclusive or, which is the result of applying an inclusive or.
Usage notes
- (the result): In an expression of formal logic, the phrase (deprecated template usage) exclusive or (or hyphenated as (deprecated template usage) exclusive-or) may appear between the predicates, much like a conjunction:
- (x ∧ ¬y) V (¬x ∧ y) → x ⊕ y, which reads: x exclusive-or y.
Translations
connective
|