邏輯-同位生成器和校驗器