MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts