La puerta lógica Y, más conocida por su nombre en inglés "AND" (formula_2), realiza la función booleana de producto lógico.