\documentclass[]{vycsloz}
\usepackage[shorthands=off,czech]{babel}

\newcommand{\Nset}{\mathbb{N}}
\newcommand{\range}{\mathit{range}}
\renewcommand{\phi}{\varphi}

\assignment{3}
\exercise{1}
\points{3}
\duedate{9. 12. 2022, 23:59}

%%% ZDE NAPISTE SVOJE UCO A JMENO
\name{Nesmělý Panter}
\uco{1234567}

\begin{document}
\begin{zadani}
  Řekneme, že výroková formule $\phi$ v konjunktivní normální formě je
  \emph{silně splnitelná}, pokud existuje valuace proměnných, ve
  které jsou pravdivé alespoň dva různé literály z každé klauzule
  (dva výskyty téhož literálu v jedné klauzuli nepovažujeme za různé literály).
  
  Uvažme problém rozhodnout, zda je daná výroková formule v CNF silně splnitelná, tedy problém
  \[
    \textit{STRONGSAT} = \{\langle \phi \rangle \mid \phi \text{ je formule v CNF, která je silně splnitelná} \}.
  \]
  Dokažte, že $ \textit{STRONGSAT} $ je \textsf{NP}-úplný.
\end{zadani}

\begin{reseni}
%%% SEM PISTE SVE RESENI
\end{reseni}

\end{document}