Lista de temas de álgebra de Boole - List of Boolean algebra topics
Esta es una lista de temas relacionados con el álgebra booleana y la lógica proposicional .
Artículos de amplio alcance e introducciones
- Álgebra de conjuntos
- Álgebra de Boole (estructura)
- álgebra de Boole
- Campo de conjuntos
- Conectivo lógico
- Cálculo proposicional
Funciones y conectivas booleanas
- Ampheck
- Álgebras booleanas definidas canónicamente
- Disyunción condicionada
- Función booleana evasiva
- Exclusivo o
- Completitud 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 lupanov
- Función mayoritaria
- Material condicional
- Flecha de Peirce
- Trazo de sheffer
- Operador único 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
- Álgebra de De Morgan
- Lógica de primer orden
- Heyting álgebra
- Álgebra de Lindenbaum-Tarski
- Sesgar álgebra booleana
Sintaxis
- Forma normal algebraica
- Consulta conjuntiva booleana
- Forma canónica (álgebra booleana)
- Forma conjuntiva normal
- Forma normal disyuntiva
- Sistema formal
Aplicaciones tecnicas
Teoremas y leyes específicas
- Teorema del ideal 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
Desclasificado
- Función booleana
- Función con valor booleano
- Modelo con valor booleano
- Problema de satisfacibilidad booleano
- Cálculo diferencial booleano
- Función de indicador (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 topológica booleana