Програма логіка