Esta es una lista de temas relacionados con el álgebra de Boole y la lógica proposicional .
Artículos de amplio alcance e introducciones
Funciones y conectivas booleanas
- Ampheck
- Álgebras de Boole definidas canónicamente
- Disyunción condicionada
- Función booleana evasiva
- Exclusivo o
- Integridad funcional
- Bicondicional lógico
- Conjunción lógica
- Disyunción lógica
- Igualdad lógica
- Implicación lógica
- Negación lógica
- NOR lógico
- Representación de Lupanov
- Función mayoritaria
- Material condicional
- Flecha de Peirce
- Trazo de sheffer
- Único operador suficiente
- Función booleana simétrica
- Diferencia simétrica
- Polinomio de Zhegalkin
Ejemplos de álgebras de Boole
Extensiones de álgebras de Boole
Generalizaciones de álgebras de Boole
Sintaxis
Aplicaciones tecnicas
Teoremas y leyes específicas
- Teorema del ideal del primo booleano
- Teorema de compacidad
- Teorema de consenso
- Leyes de de Morgan
- Dualidad (teoría del orden)
- Leyes de la lógica clásica
- Ley de Peirce
- Teorema de representación de Stone para álgebras de Boole
Personas
- Boole, George
- De Morgan, Augustus
- Jevons, William Stanley
- Peirce, Charles Sanders
- Piedra, Marshall Harvey
- Venn, John
- Zhegalkin, Ivan Ivanovich
Filosofía
- Silogística de Boole
- Implicante booleano
- Gráfico entitativo
- Gráfico existencial
- Leyes de la forma
- Gráfico lógico
Visualización
- Mesa de la verdad
- Mapa de Karnaugh
- diagrama de Venn
Desclasificado
- Función booleana
- Función de valor booleano
- Modelo con valor booleano
- Problema de satisfacibilidad booleano
- Cálculo diferencial booleano
- Función indicadora (también llamada función característica , pero ese término se usa en la teoría de la probabilidad para un concepto diferente)
- Minimizador de lógica heurística de espresso
- Matriz lógica
- Valor lógico
- Dualidad de piedra
- Espacio de piedra
- Álgebra de Boole topológica