Alguns dias atrás, perguntaram-me por que é bastante comum usar +
o v
símbolo em vez do símbolo como operador OR booleano na lógica digital.
Seu argumento era que é totalmente contra-intuitivo usar +
para OR, porque é mais provável que seja interpretado como AND a partir do uso / contexto geral.
Do Wiki : Em lógica e matemática, ou é um operador funcional da verdade, também conhecido como disjunção e alternância (inclusive). O conectivo lógico que representa esse operador também é conhecido como "ou" e normalmente escrito como
v
ou+
.
Eu fiz algumas pesquisas e surgiu com a origem do v
sinal. Vem da palavra latina "vel", que significa "ou".
Uma coisa que se soma à natureza confusa é que isso +
significa 'e' de um ponto de vista histórico. De acordo com isto e isto , foi inventado por volta de 1360 como e abreviação para o latim "et" ("e") semelhante ao sinal de mais.
No entanto, não tenho idéia de quem surgiu +
na álgebra booleana e por que ela parece preferida ao v
contexto da lógica / engenharia digital.
Respostas:
Uma palavra: distributividade
A multiplicação é distributiva sobre adição, e também é lógica E distributiva sobre OU lógica.
Por outro lado, a multiplicação é frequentemente usada sem um símbolo (em
2a
vez de2*a
), e AND lógico é muito semelhante. Se A e B devem ser verdadeiros, é simples e intuitivo escrever AB.É muito útil na construção de tabelas e algoritmos verdadeiros baseados nelas.
mesmo alguém com pouca experiência perceberá, à primeira vista, que isso
f
pode ocorrer quando A é verdadeiro ou quando B e C são verdadeiros.v
^
O fato de que
1 * 0 = 0
e1 + 0 = 1
na álgebra booleana optamos1
por verdadeiro e0
falso também ajuda a identificar qual operador é qual. Símbolos em matemática são apenas isso: símbolos. Eles têm um significado porque atribuímos um significado a eles; portanto, é melhor escolhermos símbolos que possam ser facilmente lembrados e seu uso em outros campos seja semelhante.fonte
A or (B and C)
equivalente a(A or B) and (A or C)
, masX and (Y or Z)
é equivalente a(X and Y) or (X and Z)
. Ainda assim, acho que o fato de a multiplicação se comportar mais como "e" é base suficiente para decidir que "ou" é mapeado para "+".Uma linha de raciocínio que sempre usei para sinais lógicos AND e OR é sua relação com as operações matemáticas que eles representam.
Vamos começar com AND lógico. É frequentemente representado como sinal de multiplicação, por exemplo *. Portanto, se você tiver uma expressão longa como s1 * s2 * s3 * s4 .... e uma das variáveis receber o valor 0, ou falso lógico, a expressão inteira receberá o valor 0, o que é bastante normal para multiplicação , porque 1 * 1 * 0 * 1 ... é igual a 0.
Por outro lado, quando usamos o sinal +, que geralmente significa adição para representar OR lógico, temos um caso semelhante. Se tivermos várias variáveis ORed, teremos novamente o caso de s1 + s2 + s3 + s4 ... Se apenas uma das variáveis for diferente de zero, o resultado também será diferente de zero, o que é lógico (IMHO) quando comparamos OU à adição. Por exemplo 0 + 0 + 1 + 0 ... é igual a 1. Um ponto em que isso quebra é que temos mais, o resultado ainda é apenas um. Uma maneira de pensar que usei para isso é ter em mente que um representa a existência, então algo existe e você acrescenta mais existência a ele, ele ainda existirá.
fonte
+
sinal (como operador binário) se resume a uma abreviação para Latin "et" ("e") semelhante ao sinal de adição.Michael Shcroeder, "Uma breve história da notação da álgebra de Boole", Nordic Journal of Philosophical Logic 2 (1): 41-62 (1997), atribui o uso de + para representar inclusivo - ou a Leibniz em seu "Elementa Calculi", e discute o uso da notação por Boole, bem como algumas outras notações. link online
fonte
Nenhuma discussão sobre por que é comum usar + em vez de ∪, ∩, ∨, ∧ estaria completa sem observar que as impressoras e os códigos de transmissão (como Baudot, ITA e ASCII) forneceram o alfabeto, números e símbolos comerciais comuns '
É difícil imaginar agora, mas houve um tempo em que símbolos especiais não eram facilmente representados na entrada e representavam um custo adicional mesmo quando digitados.
Os matemáticos (e outros apoiadores de Algol) queriam um conjunto maior de símbolos por esse motivo, mas 50 anos atrás, você não seria capaz de expressar a pergunta maior, exceto escrevendo 'por que não usamos o símbolo v invertido? de escrever .AND. ?
fonte