Czy pracownikowi przysługuje dzień wolny za święto przypadające w sobotę

Mam pytanie dotyczące udzielania dni wolnych za święta, zgodnie z art. 130 § 2 Kodeksu pracy. W naszym zakładzie pracy pracownicy pracują od wtorku do soboty po 8 godzin dziennie. Poniedziałki i niedziele są ich dniami wolnymi. Czy w takiej sytuacji w przypadku święta przypadającego w sobotę pracownikom należy się dodatkowy dzień wolny, który powinniśmy udzielić w dni robocze (czyli od wtorku do soboty)? Czy w przypadku święta wypadającego w poniedziałek również powinni otrzymać inny dzień wolny?