Binary relations and choice functions are two different tools for describing DM preferences on a finite set of alternatives. Normal choice functions are the link between these two tools. These choice functions are easily identified using the logical form. In this paper, we analyse normal choice functions from the viewpoint of their logical form.Las relaciones binarias y las funciones de elección constituyen dos herramientas diferentes para describir las preferencias del Decisor en un conjunto finito de alternativas. Las funciones de elección normales representan el puente entre estas dos herramientas. Estas funciones de elección se identifican fácilmente utilizando su forma lógica. En este artículo, analizamos las funciones de elección normales a través de su forma lógica.