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)
|