https://kmap.eu/app/browser/Mathematik/Terme/Vereinfachen
Zielgerichtetes Umformen durch Ausmultiplizieren, Zusammenfassen, Faktorisieren und Kürzen