La tabla de verdad para el conectivo formula_1 está dada por