Luego, reemplazando esos valores de verdad en formula_3, tenemos