Lista de temas de álgebra booleana

Esta es una lista de temas relacionados con el álgebra booleana y la lógica proposicional .

• Álgebra de conjuntos
• Álgebra booleana (estructura)
• Álgebra booleana
• Campo de conjuntos
• Conector lógico
• Cálculo proposicional

• Amphek
• Análisis de funciones booleanas
• Función booleana equilibrada
• Función doblada
• Álgebras booleanas definidas canónicamente
• Función booleana
• Matriz booleana
• Función booleana
• 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ógica
• Función mayoritaria
• Material condicional
• Axiomas mínimos para el álgebra booleana
• Flecha perforante
• Función de lectura única
• accidente cerebrovascular de Sheffer
• Único operador suficiente
• Función booleana simétrica
• Diferencia simétrica
• polinomio de Zhegalkin

• Dominio booleano
• Álgebra booleana completa
• Álgebra interior
• Álgebra booleana de dos elementos

• Álgebra derivada (álgebra abstracta)
• Álgebra booleana gratuita
• Álgebra booleana monádica

• Álgebra de De Morgan
• Lógica de primer orden
• Álgebra de Heyting
• Álgebra de Lindenbaum-Tarski
• Álgebra booleana sesgada

• Forma normal algebraica
• consulta conjuntiva booleana
• Forma canónica (álgebra booleana)
• forma normal conjuntiva
• Forma normal disyuntiva
• Sistema formal

• Gráfico del inversor AND
• Puerta lógica
• Análisis booleano

• Teorema del ideal primo de Boole
• Teorema de compacidad
• Teorema del consenso
• Las 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 booleanas

• Boole, George
• De Morgan, Augusto
• Jevons, William Stanley
• Peirce, Charles Sanders
• Piedra, Marshall Harvey
• Venn, Juan
• Zhegalkin, Ivan Ivanovich

• Silogística de Boole
• implicante booleano
• Grafo entitativo
• Grafo existencial
• Leyes de la forma
• Grafo lógico

• Tabla de verdad
• Mapa de Karnaugh
• Diagrama de Venn

• Función booleana
• Función booleana
• Modelo con valores booleanos
• Problema de satisfacibilidad booleana
• 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 Espresso
• Matriz lógica
• Valor lógico
• Dualidad de piedra
• Espacio de piedra
• Álgebra booleana topológica