A First Approach in the Implementation of the Simplification Method of Boolean and Fuzzy Formulas Based on Finite Algebras | IEEE Conference Publication | IEEE Xplore