Modelado: Definición de las funciones de Boole que especifican el comportamiento del sistema