可程式陣列邏輯