Disjunção lógica: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
A7w3j (discussão | contribs)
m retirei o aviso de edição de 2011
A7w3j (discussão | contribs)
m adicionar tabela com V F
Linha 12:
*Falso, representado pela letra '''F''', ou pelo número 0.
 
A disjunçãoconjunção é uma operação que verifica a seguinte [[Tabela verdade|tabela de verdade]]:
{| class="wikitable" style="text-align: center;"
 
|+
! style="width:33%" |  a 
! style="width:33%" |  b 
! style="width:33%" | a ∨ b
|-
| V || V || V
|-
| V || F || V
|-
| F || V || V
|-
| F || F || F
|}
ou de forma equivalente
{| class="wikitable" style="text-align: center;"
|+
! style="width:33%" |  a 
! style="width:33%" |  b 
! style="width:33%" | a ∨ b
|-
| 1 || 1 || 1
Linha 28 ⟶ 42:
| 0 || 0 || 0
|}
Portanto pode ainda ser representada pela soma, que dá o mesmo resultado, se '''a''' e '''b''' forem 0 ou 1, excepto que se assume também "1+1=1" (ou seja, esta soma disjuntiva tem um significado algébrico de '''a∨b ≡ a + b - ab''').
 
Outra interpretação é a da [[lógica fuzzy]], que generaliza pela equivalência com o '''''máximo'''''('''a''','''b''').
Portanto pode ainda ser representada pela soma, que dá o mesmo resultado, se '''a''' e '''b''' forem 0 ou 1, excepto que se assume também "1+1=1".
 
== União de conjuntos ==