y una operación binaria interna conjunción formula_1, que representaremos formula_13: