Desarrollo de un prototipo de software para probar condiciones que deben cumplir funciones lógicas cuaternarias regulares
Fecha
Fecha
2020-08-27
Autores
Director
Título de la revista
ISSN de la revista
Título del volumen
Editor
Descripción
El documento desarrollado consiste en una propuesta de un sistema de software que permita probar condiciones necesarias y suficientes que deben cumplir tablas de verdad representadas por funciones lógicas en el álgebra de De Morgan, a partir de una metodología de desarrollo de software, y la evaluación del sistema con condiciones encontradas en la literatura, y condiciones
propuestas.
Resumen
The document developed consists of a proposal for a software system that allows testing necessary and sufficient conditions that must meet truth tables represented by logical functions in De Morgan's algebra, based on a software development methodology, and the evaluation of the system with conditions found in the literature, and proposed conditions.
Palabras clave
Lógica difusa
Materias
Ingeniería de Sistemas - Tesis y disertaciones académicas, Desarrollo de prototipos, Ingeniería de software, Álgebra