diff --git a/logique-programmable/img/and.png b/logique-programmable/img/and.png new file mode 100644 index 0000000..398a6b2 Binary files /dev/null and b/logique-programmable/img/and.png differ diff --git a/logique-programmable/img/inverseur.png b/logique-programmable/img/inverseur.png new file mode 100644 index 0000000..08902d5 Binary files /dev/null and b/logique-programmable/img/inverseur.png differ diff --git a/logique-programmable/img/nand.png b/logique-programmable/img/nand.png new file mode 100644 index 0000000..392e172 Binary files /dev/null and b/logique-programmable/img/nand.png differ diff --git a/logique-programmable/img/nor.png b/logique-programmable/img/nor.png new file mode 100644 index 0000000..03b26f7 Binary files /dev/null and b/logique-programmable/img/nor.png differ diff --git a/logique-programmable/img/or.png b/logique-programmable/img/or.png new file mode 100644 index 0000000..56e987b Binary files /dev/null and b/logique-programmable/img/or.png differ diff --git a/logique-programmable/img/suiveur.png b/logique-programmable/img/suiveur.png new file mode 100644 index 0000000..caab78f Binary files /dev/null and b/logique-programmable/img/suiveur.png differ diff --git a/logique-programmable/img/xnor.png b/logique-programmable/img/xnor.png new file mode 100644 index 0000000..9f8ef88 Binary files /dev/null and b/logique-programmable/img/xnor.png differ diff --git a/logique-programmable/img/xor.png b/logique-programmable/img/xor.png new file mode 100644 index 0000000..e8385c6 Binary files /dev/null and b/logique-programmable/img/xor.png differ diff --git a/logique-programmable/main.tex b/logique-programmable/main.tex index 491901e..26123a1 100644 --- a/logique-programmable/main.tex +++ b/logique-programmable/main.tex @@ -26,7 +26,7 @@ \item chimique - \item hydrraulique + \item hydraulique \item pneumatique @@ -34,7 +34,7 @@ \item électromécanique - \item éctrique + \item électrique \item électronique (ce qui nous intéresse) @@ -68,7 +68,14 @@ \subsubsection{Suiveur} - La sortie est égale à l'entrée ($S = E$). + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/suiveur.png} + + La sortie est égale à l'entrée ($S = E$). + + \end{multicols} + \begin{center} @@ -85,7 +92,13 @@ \subsubsection{Inverseur} - La sortie est l'inverse de l'entrée ($S = \bar{E}$). + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/inverseur.png} + + La sortie est l'inverse de l'entrée ($S = \bar{E}$). + + \end{multicols} \begin{center} @@ -102,9 +115,17 @@ \subsubsection{OU logique --- \texttt{OR} ($+$)} - Pour que $S$ soit vrai il suffit qu'\emph{une seule} entrée soit vraie. + \begin{multicols}{2} - Pour que $S$ soit faux il faut que \emph{toutes} les entrées soient fausses. + \includegraphics[width=0.2\linewidth]{./img/or.png} + + \columnbreak{} + + Pour que $S$ soit vrai il suffit qu'\emph{une seule} entrée soit vraie. + + Pour que $S$ soit faux il faut que \emph{toutes} les entrées soient fausses. + + \end{multicols} \begin{center} @@ -142,8 +163,14 @@ \subsubsection{ET logique --- \texttt{AND} ($\cdot$)} - C'est l'inverse du OU\@. - Pour que $S$ soit vrai il faut que toutes les entrées soient vraies. + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/and.png} + + C'est l'inverse du OU\@. + Pour que $S$ soit vrai il faut que toutes les entrées soient vraies. + + \end{multicols} \begin{center} @@ -159,6 +186,8 @@ 1 & 1 & 1 \\ \end{tabular} + \columnbreak{} + \begin{tabular}{c|c|c} X & Y & S \\ \midrule @@ -174,7 +203,13 @@ \subsubsection{OU exclusif --- \texttt{XOR} ($\oplus$)} - Pour que $S$ soit vrai il faut \emph{soit} que $E_1$ soit vrai \emph{soit} que $E_2$ soit vrai. + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/xor.png} + + Pour que $S$ soit vrai il faut \emph{soit} que $E_1$ soit vrai \emph{soit} que $E_2$ soit vrai. + + \end{multicols} \begin{center} @@ -213,7 +248,13 @@ \subsubsection{Non OU --- \texttt{NOR} ($\overline{+}$)} - Pour que $S$ soit vrai, il faut que $E_1$ et $E_2$ soient faux. + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/nor.png} + + Pour que $S$ soit vrai, il faut que $E_1$ et $E_2$ soient faux. + + \end{multicols} Théorême de Morgan~: $\overline{a + b} = \bar{a} \cdot \bar{b}$ @@ -247,7 +288,13 @@ \subsubsection{Non ET --- \texttt{NAND} ($\overline{\cdot}$)} - Pour que $S$ soit vrai il suffit qu'entrée soit fausse. + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/nand.png} + + Pour que $S$ soit vrai il suffit qu'entrée soit fausse. + + \end{multicols} Théorême de Morgan~: $\overline{a \cdot b} = \bar{a} + \bar{b}$ @@ -281,7 +328,13 @@ \subsubsection{Non OU exclusif --- \texttt{NO XOR} ($\overline{\oplus}$)} - Pour que $S$ soit vrai il faut que les entrées soient identiques. + \begin{multicols}{2} + + \includegraphics[width=0.2\linewidth]{./img/xnor.png} + + Pour que $S$ soit vrai il faut que les entrées soient identiques. + + \end{multicols} \begin{center}