Logische Gleichung vereinfachen