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