Die eine Nebenbedingung ist ja auch keine Ungleichung, sondern eine Gleichung,
die kannst du z.B. nach x4 auslösen x4 = x1 -0,5*x2 +2,5 und dieses in die anderen drei einsetzen.
Und mit den restlichen drei Bedingungen dann ein neues Tableau aufstellen.