Toto je k d.ú. 1: http://msleziak.com/vyuka/2016/temno/du01.pdf
Keďže som neboli žiadne chyby, ktoré by sa často vyskytovali v riešeniach, tak len pridám linku na komentáre k podobným úlohám z minulých rokov:
viewtopic.php?t=492
viewtopic.php?t=321
viewtopic.php?t=71
Toto riešenie úlohy 1a sa mi páčilo, tak ho sem skopírujem:
Jarier Wannous wrote: Ak vieme, že platí $(a\Rightarrow b) \Leftrightarrow (\neg a \lor b)$, tak potom môžeme povedať:
\begin{multline*}
(p \Rightarrow (q \Rightarrow r)) \Leftrightarrow (\neg p \lor (q\Rightarrow r)) \Leftrightarrow (\neg p \lor (\neg q \lor r)) \Leftrightarrow
((\neg p \lor \neg q) \lor r) \Leftrightarrow (\neg (p\land q) \lor r) \Leftrightarrow ((p\land q \Rightarrow r))
\end{multline*}