Welche Äquivalenzumformungen gibt es?