Metadata
Author: Literature
Data
German[de]
Wir verwenden eine neue Variable z und ersetzen ei durch das Produkt von zwei Klauseln (x + 5.
English[en]
Introduce a new variable z , and replace ei by the product of two clauses (x + y + z )(x + y + z).