Función lógica mínima para lab