Hi, die jeweiligen Ursprungsterme erzwingen für die Belegung der Variablen einschränkende Bedingungen, die der umgeformte Ergebnisterm nicht mehr impliziert. Korrekterweise müssen diese einschränkenden Bedingungen nach dem Umformen explizit gemacht werden, um wertgleiche Terme zu erhalten:
1) log x + log y - log z = log (xy/z) mit x, y, z > 0
2) 2*log a - 3*log b + 7*log c = log (a^2 * c^7 / b^3) mit a, b, c > 0