Fuzzy methods for simplifying a boolean formula inferred from examples