Soriano Méndez, José JairoMora Sabogal, Cristian Camilo2021-12-302021-12-302020-08-27http://hdl.handle.net/11349/28122El 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.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.pdfspaAtribución-NoComercial-SinDerivadas 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Lógica difusaDesarrollo de un prototipo de software para probar condiciones que deben cumplir funciones lógicas cuaternarias regularesIngeniería de Sistemas - Tesis y disertaciones académicasDesarrollo de prototiposIngeniería de softwareÁlgebrainfo:eu-repo/semantics/openAccessDevelopment a prototype of software to test conditions which must satisfy regular quaternary logic functionsFuzzy logicMonografíaAbierto (Texto Completo)