Ou exclusivo: diferenças entre revisões

'''Ou exclusivo''' chamada também '''disjunção exclusiva''', conhecido geralmente por '''XOR''' ou por '''EOR''' (também '''XOU''' ou '''EOU'''), é uma [[Lógica|operação lógica]] em dois operandos que resulta em um valor lógico verdadeiro se e somente se exactamente um dos operandos tem um valor verdadeiro.

 

A '''disjunção exclusiva''' (escrito como <math>\oplus </math>, <math>+</math>, ou ainda ≠) é uma operação sobre dois ou mais valores lógicos, tipicamente os valores de duas proposições, que produz um valor verdadeiro apenas se a quantidade de operadores verdadeiros for ímpar.

 

A [[tabela verdade|tabela de verdade]] para ''p'' XOR ''q'' de duas entradas é a seguinte:

{{Porta Lógica

|porta = XOR

|simbrec =

|extra =

|}

 

As seguintes equivalencias podem ser deduzidas, escritas com [[operadores lógicos]], na notação matemática:

<br /><br />

O XOR também equivale a negação do bicondicional lógico.

 

O Oxford English Dictionary explica "um dos dois...ou", como segue:

Há ainda duas boas razões gerais para supor que palavra nenhuma em qualquer linguagem natural poderia adequadamente ser representada pelo exclusivo binário "ou" da lógica formal. Primeiro, o "ou" exclusivo n-ário é verdadeiro se e somente se este tenha um número ímpar de entradas verdadeiras. Mas parece que ainda que nenhuma palavra em alguma linguagem natural que possa juntar-se a uma lista de duas ou mais opções tem essa propriedade geral. Segundo, como apontado pela Barrett e Stenner em um artigo de 1971 "O Mito do 'Ou' exlusivo" (Mind, 80 (317), 116-121), nenhum autor produziu um exemplo de uma sentença na língua inglesa que parece ser falsa porque ambas de suas entradas são verdadeiras. Certamente há muitas sentenças como "A lâmpada está apagada ou desligada", na qual é óbvio que ambas disjunções não podem ser verdadeiras. Mas não é óbvio que isso se deve a natureza da palavra "ou" ao invés de fatos particulares sobre o mundo.

 

Esta seção usa os seguintes símbolos:

 

\end{matrix}</math>

 

A "Ou Exclusivo" (XOR) goza das propriedades da [[associatividade]] e [[comutatividade]]. Vide o exemplo:

 

\end{matrix}</math>

 

Bitwise XOR é simplesmente uma operação XOR "bit a bit" sobre dois valores binários que indica "1", se e somente se um dos bits possuír valor lógico "1", e "0", se dois ou mais bits possuírem "1" como valor lógico, ou ainda se todos os bits possuírem "0" como valor lógico.

 

O [[Algoritmo xor swap|algoritmo Xor Swap]] usa a lógica do conectivo XOR a fim de trocar os valores numéricos de 2 variáveis.

 

As portas XOR são portas lógicas básicas que são reconhecidas na [[Transistor-Transistor Logic|TTL]] e nos [[Circuito integrado|circuitos integrados]] [[CMOS]].<br />

Existem [[circuitos integrados|Circuito Integrado]] que utilizam a lógica do XOR, sendo que esta mesma lógica pode ser expressa através dos circuitos [[NAND]], [[NOU (NOR)|NOR]] e NOT.<br /><br />

 

{|

|

1 Entrada A1

14 V_DD

|}

* [[Flip-flop]]

* [[Multiplexador]]

[[fr:Fonction OU exclusif]]

[[he:או מוציא]]

[[it:Disgiunzione esclusiva]]

[[ja:排他的論理和]]