Reducción funcion lógica