A First Approach in the Implementation of the Simplification Method of Boolean and Fuzzy Formulas Based on Finite Algebras. - José Jairo Soriano Méndez; Omar Salazar Morales; Julian Barreiro-Gomez; Miguel Eduardo Hernández Figueredo (ISCID (2), 2011)