안녕하세요? 우리나라 4대 국경일에 제헌절이 포함되어 있습니까?

안녕하세요? 국경일에 관한 법률(?)인가에 의하면 우리나라 국경일을 4대 국경일로 정한다고 들었는데 , 제헌절이 포함되어 있는지 왜 공휴일에서 제외되었는지요?