Text this: Desarrollo de un prototipo de software para probar condiciones que deben cumplir funciones lógicas cuaternarias regulares