Add texto ao artigo (#23487)

pull/23124/head^2
RF! 2019-08-14 12:12:06 -03:00 committed by Randell Dawson
parent 0122c9694b
commit 8eec3139bc
1 changed files with 3 additions and 3 deletions

View File

@ -4,13 +4,13 @@ localeTitle: Álgebra da lógica
--- ---
## Álgebra da lógica ## Álgebra da lógica
_Álgebra da lógica_ ou _álgebra booleana_ é um ramo da matemática. Ele lida com variáveis e seu valor de verdade. As variáveis têm dois estados possíveis - `true` ou `false` . _Álgebra da lógica_ ou _álgebra booleana_ é um ramo da matemática. Ele lida com variáveis e seu valor de verdade. As variáveis têm dois estados possíveis - `true` (verdadeiro) ou `false` (falso) .
Foi introduzido pela primeira vez por George Boole em seu livro The Mathematical Analysis of Logic (1847). Foi introduzido pela primeira vez por George Boole em seu livro The Mathematical Analysis of Logic (1847).
A álgebra booleana é fundamental para o desenvolvimento da eletrônica digital. É responsável por tornar possível toda a computação moderna. A álgebra booleana é fundamental para o desenvolvimento da eletrônica digital. É responsável por tornar possível toda a computação moderna.
As três operações básicas da Álgebra Booleana são `AND` , `OR` e `NOT` . Considere duas variáveis booleanas `x` e `y` : As três operações básicas da Álgebra Booleana são `AND` (e) , `OR` (ou) e `NOT` (não) . Considere duas variáveis booleanas `x` e `y` :
* `x AND y` é verdadeiro se e somente se `x` e `y` forem verdadeiros * `x AND y` é verdadeiro se e somente se `x` e `y` forem verdadeiros
* `x OR y` é verdadeiro se e somente se `x` , `y` for verdadeiro. Se `x` , `y` são ambos verdadeiros, `x OR y` ainda é verdadeiro * `x OR y` é verdadeiro se e somente se `x` , `y` for verdadeiro. Se `x` , `y` são ambos verdadeiros, `x OR y` ainda é verdadeiro