---
title: Algebra of Logic
localeTitle: Álgebra de la lógica
---
## Álgebra de la lógica

_El álgebra de la lógica_ o _el álgebra booleana_ es una rama de las matemáticas. Se trata de variables y su valor de verdad. Las variables tienen dos estados posibles: `true` o `false` .

Fue introducido por primera vez por George Boole en su libro The Mathematical Analysis of Logic (1847).

El álgebra de Boole es fundamental para el desarrollo de la electrónica digital. Se encarga de hacer posible toda la informática moderna.

Las tres operaciones básicas en Álgebra Booleana son `AND` , `OR` y `NOT` . Considere dos variables booleanas `x` e `y` :

*   `x AND y` es verdadero si y solo si tanto `x` como `y` son verdaderos
*   `x OR y` es verdadero si y solo si cualquiera de `x` , `y` es verdadero. Si `x` , `y` son ambas verdaderas, `x OR y` siguen siendo ciertas
*   `NOT x` es verdadero si y solo si `x` es falso y viceversa

### Más información:

*   El cálculo de la lógica: [George Boole](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html)
*   Artículo de álgebra booleana: [Wikipedia](https://en.wikipedia.org/wiki/Boolean_algebra)