15 relaciones: Álgebra de Boole, Conjunción lógica, Demostración automática de teoremas, Distributividad, Disyunción exclusiva, Forma canónica, Forma normal conjuntiva, Forma normal disyuntiva, Forma normal negativa, Función booleana, Leyes de De Morgan, LFSR, Linealidad, Negación lógica, Relación de equivalencia.
Á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.
¡Nuevo!!: Forma normal algebraica y Álgebra de Boole · Ver más »
Conjunción lógica
En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.
¡Nuevo!!: Forma normal algebraica y Conjunción lógica · Ver más »
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
¡Nuevo!!: Forma normal algebraica y Demostración automática de teoremas · Ver más »
Distributividad
En matemáticas, la distributividad es la propiedad de las operaciones binarias que generaliza la propiedad distributiva del álgebra elemental.
¡Nuevo!!: Forma normal algebraica y Distributividad · Ver más »
Disyunción exclusiva
En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, "or" fuerte, "or" exclusivo, o desigualdad material) es un operador lógico simbolizado como XOR, EOR, EXOR, ⊻, ⊕ o \nleftrightarrow es un tipo de disyunción lógica de dos operandos.
¡Nuevo!!: Forma normal algebraica y Disyunción exclusiva · Ver más »
Forma canónica
Forma canónica puede referirse a.
¡Nuevo!!: Forma normal algebraica y Forma canónica · Ver más »
Forma normal conjuntiva
En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a una conjunción de cláusulas, donde una cláusula es una disyunción de literales, donde un literal y su complemento no pueden aparecer en la misma cláusula.
¡Nuevo!!: Forma normal algebraica y Forma normal conjuntiva · Ver más »
Forma normal disyuntiva
En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas.
¡Nuevo!!: Forma normal algebraica y Forma normal disyuntiva · Ver más »
Forma normal negativa
En lógica proposicional, una fórmula lógica está en forma normal negativa si, de poseer negaciones, estas únicamente afectan las fórmulas atómicas, y si además los únicos conectivos existentes son.
¡Nuevo!!: Forma normal algebraica y Forma normal negativa · Ver más »
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.
¡Nuevo!!: Forma normal algebraica y Función booleana · Ver más »
Leyes de De Morgan
En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
¡Nuevo!!: Forma normal algebraica y Leyes de De Morgan · Ver más »
LFSR
LFSR significa linear feedback shift register, que se traduce como: registro de desplazamiento con retroalimentación lineal.
¡Nuevo!!: Forma normal algebraica y LFSR · Ver más »
Linealidad
En matemáticas, la linealidad se refiere a una propiedad abstracta definida tanto entre funciones como en espacios de cierto tipo, por la cual un objeto asociado a la suma de objetos puede ser expresado en términos de la suma de objetos asociados.
¡Nuevo!!: Forma normal algebraica y Linealidad · Ver más »
Negación lógica
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.
¡Nuevo!!: Forma normal algebraica y Negación lógica · Ver más »
Relación de equivalencia
En teoría de conjuntos y álgebra, la noción de relación de equivalencia sobre un conjunto permite establecer una relación entre los elementos del conjunto que comparten cierta característica o propiedad.
¡Nuevo!!: Forma normal algebraica y Relación de equivalencia · Ver más »