formula_6 son ejemplos de "minterms" para una función booleana con las tres variables formula_7, formula_8 y formula_9.