Desarrollo de un prototipo de software para probar condiciones que deben cumplir funciones lógicas cuaternarias regulares
Fecha
Autores
Autor corporativo
Título de la revista
ISSN de la revista
Título del volumen
Editor
Compartir
Director
Altmetric
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.
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.
Palabras clave
Lógica difusa