Výroková logika - negace, ekvivalence

Jsou dána 4 tvrzení:  

1. Jestliže přijdeš, nebudeš litovat.  
2. Jestliže budeš litovat, nepřijdeš.  
3. Přijdeš a nebudeš litovat.  
4. Budeš litovat nebo nepřijdeš.  

V nabízených možnostech je vztah ekvivalence značen plnou čarou, negace je značena čarou přerušovanou.  

Určete, která možnost odpovídá vztahům mezi tvrzeními v zadání.