https://9dok.net/document/q7wkpx4d-logik-und-diskrete-strukturen-ws-übungsblatt.html