Czy trzeba oddać dzień wolny za święto przypadające w poniedziałek, jeżeli pracownik pracuje od wtorku do soboty

Pracownicy pracują w naszym zakładzie w podstawowym systemie czasu pracy od wtorku do soboty po 8 godzin. Obowiązuje ich miesięczny okres rozliczeniowy czasu pracy, który obejmuje pełne miesiące kalendarzowe. Mają wolne poniedziałki i niedziele. Czy trzeba im oddać dodatkowy dzień wolny za święto 1 listopada, które przypada w tym roku w poniedziałek? Jak święto 11 listopada wpływa na ich wymiar czasu pracy?