\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[bookmarks]{hyperref}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath, amssymb}

\begin{document}

\section{Introduction}
\begin{enumerate}
\item 
	\begin{enumerate}
		\item $x\lor y\lor z$ est une FNC à une seule clause!
		\item $\lnot x\lor \lnot y \lor \lnot z$ est une FNC à une seule clause
		\item  \begin{align*}
				x \implies (\lnot y \land \lnot z) &= \lnot x \lor (\lnot y \land \lnot z) \\
					   &= (\lnot x \lor \lnot z) \land (\lnot x \lor \lnot z) \\
		\end{align*} est une FNC.
		\item $y \implies (x \lor z) = \lnot y \lor (x \lor z)$ est une FNC à une seule clause
	\end{enumerate}
\item 
	% TODO Faire la table de vérité
\end{enumerate}

\end{document}
