Luego, la tabla de verdad tiene formula_2 filas.