Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression