https://9dok.net/document/qo51nnv5-exercises-lecture-logics-sheet-jun-prof-roland-meyer.html