Сколько решений имеет данная система уравнений?
x1-x2-x3-x4=0
y1-y2-y3-y4=1
значок - \(дефис\) это импликация.