نحوه محاسبه کارگران شیفت کار و مرخصی آنها

با سلام اگر در مجموعه ای کارگرانی بصورت شیفتی ۱۲ ساعت کار و ۲۴ ساعت استراحت مشغول خدمت باشند،فرض کنید میزان ساعت شیفتی کارگر بالاتر از ساعت موظفی همان کارگر در یک ماه معین باشد .اگر کارگری در طول ماه و در نوبت شیفت خود مرخصی بگیرد آیا روزی که مرخصی میگیرد از ساعت کاری ایشان کسر میگردد یا اینکه خیر؟ ممنون