https://9dok.net/document/zpn797ro-diskrete-strukturen.html