Lista de temas de álgebra booleana

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 booleana (estructura)
• álgebra de Boole
• campo de conjuntos
• Conectivo lógico
• Cálculo proposicional

Funciones booleanas y conectivas.

• anfeck
• Análisis de funciones booleanas.
• Función booleana equilibrada
• función doblada
• Álgebras de Boole definidas canónicamente
• función booleana
• matriz booleana
• Función con valor booleano
• 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 de Lupanov
• Función mayoritaria
• material condicional
• Axiomas mínimos para el álgebra booleana
• Flecha de Pierce
• Función de lectura única
• Golpe de Sheffer
• Único operador suficiente
• Función booleana simétrica
• diferencia simétrica
• polinomio de Zhegalkin

Ejemplos de álgebras booleanas

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

Extensiones de álgebras booleanas

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

Generalizaciones de álgebras de Boole

• Álgebra de Morgan
• Lógica de primer orden
• Álgebra de Heyting
• Álgebra de Lindenbaum-Tarski
• Sesgar el álgebra booleana

Sintaxis

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

Aplicaciones técnicas

• Gráfico e inversor
• Puerta lógica
• análisis booleano

Teoremas y leyes específicas.

• Teorema del ideal primo booleano
• 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 de Boole

Gente

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

Filosofía

• La silogística de Boole
• implicante booleano
• Gráfico entitativo
• Gráfico existencial
• Leyes de forma
• gráfico lógico

Visualización

• Mesa de la verdad
• mapa de karnaugh
• diagrama de Venn

Desclasificado

• función booleana
• Función con valor booleano
• 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 de espresso
• matriz lógica
• Valor lógico
• Dualidad de piedra
• Espacio de piedra
• Álgebra booleana topológica