22 lines
1.2 KiB
Markdown
22 lines
1.2 KiB
Markdown
---
|
||
title: Algebra of Logic
|
||
localeTitle: Á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` .
|
||
|
||
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.
|
||
|
||
As três operações básicas da Álgebra Booleana são `AND` , `OR` e `NOT` . Considere duas variáveis booleanas `x` e `y` :
|
||
|
||
* `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
|
||
* `NOT x` é verdadeiro se e somente se `x` for falso e vice-versa
|
||
|
||
### Mais Informações:
|
||
|
||
* O cálculo da lógica: [George Boole](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html)
|
||
* Artigo de álgebra booleana: [Wikipedia](https://en.wikipedia.org/wiki/Boolean_algebra) |