Normalformen

• Beispiel:

  4y≤x∧4x≤y - 3∧x + y≥1∧x - y≥2 mathend000#

• Normalform: $\bigwedge_{i}^{}$$\sum_{j}^{}$a_{i, j}x_j≥b_i mathend000#
  

  x - 4y ≥ 0 ...

  
  
• Matrixform: Ax^T≥b^T mathend000#

  A mathend000# ist linearer Operator.

Lösung von linearen (Un-)Gl.-Sys. mit Methoden der linearen Algebra