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