logik yang dapat diprogram