Cada una de estas clausuras C(formula_1) verifica: