https://9pdf.info/document/q5mr48xw-složené-výroky-implikace-a-ekvivalence-p.html