https://kmap.eu/app/browser/Mathematik/Gleichungen/Allgemeines
Grundmenge, Lösungsmenge, Äquivalenzumformungen