五一放假期间，正式工是有工资的。以下是对这一结论的详细解释：

1. 法定节假日工资支付规定：

   • 根据《中华人民共和国劳动法》第五十一条，劳动者在法定休假日期间，用人单位应当依法支付工资。五一劳动节作为国家法定节假日，劳动者在此期间应享受带薪休假。
   • 若劳动者在五一当天正常休息或未安排加班，用人单位应按照劳动合同约定的标准支付工资。

2. 加班工资计算方式：

   • 若用人单位在五一节安排劳动者加班，则需按照不低于劳动合同规定的劳动者本人日或小时工资标准的300%支付加班工资。计算公式为：加班工资 = 月工资基数 ÷ 21.75天 × 300%。
   • 需要注意的是，在法定节假日加班的情况下，法律明确规定必须支付三倍工资，不得以调休代替。

3. 特殊工作性质的工资支付：

   • 对于实行综合计算工时制的劳动者，其五一期间的工资支付需结合周期内总工作时间和法定休假时间综合计算。
   • 对于经批准实行不定时工作制的劳动者，在五一节未提供劳动的，用人单位可不支付加班工资；若因工作需要加班，通常不执行三倍工资标准，而是采用其他补偿方式。

综上所述，五一放假期间，正式工无论是否加班，都享有工资权益。用人单位应严格按照相关法律法规执行，确保劳动者的合法权益得到保障。同时，劳动者也应对自身权益有所了解，以便在必要时维护自己的合法权益。如有任何疑问或需要进一步的法律咨询，请直接向我提问。