Một biến số $x$ được gọi là biến nhị phân nếu $x$ chỉ có thể nhận giá trị $0$ hoặc $1$.
Cho $n + 1 (n \ge 0)$ biến nhị phân $x_0, x_1, \ldots, x_n$ và một số tự nhiên $p$ không lớn hơn $n+1$. Hãy tìm một hệ bất phương trình bậc nhất biểu diễn mệnh đề sau:
$$\forall m \in [0; n+1]: \, {x_m} = 0 \Rightarrow \sum\limits_{k = 0}^m {{x_k}} = 0 \vee \sum\limits_{k = 0}^m {{x_k}} = p$$