En este documento se presentan nuevas equivalencias lógicas dentro del paradigma de lógica de simplificación con atributos mixtos, las cuales permiten obtener bases de implicaciones de atributos más cortas y fáciles de leer. Además de los resultados teóricos que muestran que las equivalencias propuestas realmente se cumplen en la lógica de simplificación con atributos mixtos, también se proporcionan resultados experimentales que muestran la efectividad de este método. Además, el método de simplificación presentado es iterativo y proporciona resultados suficientemente buenos en solo una o dos iteraciones, por lo tanto, presentándose como un procedimiento razonable en experimentos sensibles al tiempo.