https://9dok.net/document/zpn7on47-übung-mathematische-logik.html