Tabla de contenidos
8 relaciones: Álgebra de Boole, Disyunción lógica, Fórmula (expresión), Forma canónica conjuntiva, Forma canónica disyuntiva, Función booleana, Minterm, Tabla de verdad.
Álgebra de Boole
En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.
Ver Maxterm y Álgebra de Boole
Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
Ver Maxterm y Disyunción lógica
Fórmula (expresión)
Una fórmula es una secuencia o cadena de caracteres cuyos símbolos pertenecen a un lenguaje formal, de tal manera que la expresión cumple ciertas reglas de buena formación y que admite una interpretación consistente en alguna área de la matemática y en otros sistemas formales.
Ver Maxterm y Fórmula (expresión)
Forma canónica conjuntiva
Se entiende por forma canónica conjuntiva la expresión algebraica normalizada de una función lógica obtenida como el producto de todos los Maxterms para los que la expresión algebraica ha de valer 0.
Ver Maxterm y Forma canónica conjuntiva
Forma canónica disyuntiva
Se entiende por forma canónica disyuntiva la expresión algebraica normalizada de una función lógica obtenida como la suma de todos los minterms para los que la expresión algebraica ha de valer 1.
Ver Maxterm y Forma canónica disyuntiva
Función booleana
En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
Ver Maxterm y Función booleana
Minterm
Un minterm (o minitérmino) es una expresión algebraica booleana de n variables booleanas (ej: bits) que solamente se evalúa como verdadera (1) para una única combinación de esas variables, es la expresión opuesta a la maxterm La notación es la siguiente: \Sigma m(x_1,\,x_n) esto es \Sigma m(0,\,3) ya que la primera fila (0) y la última (3) tiene como valor 1 del minterm.
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.