diff --git a/maths_discretes/README.md b/maths_discretes/README.md
index d725dff..72646de 100644
--- a/maths_discretes/README.md
+++ b/maths_discretes/README.md
@@ -5,6 +5,8 @@
 | Semaine              |                Cours                             | TD						|
 | -------------------- | ------------------------------------------------ | ----------------------- |
 | 1 	   | [Formes propositionelles](./cours/logique1.pdf)  | [td1](./td/td1.pdf)     |
+| 2     | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
+
 ## TP
  - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.
  - [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
diff --git a/maths_discretes/cours/logique2.pdf b/maths_discretes/cours/logique2.pdf
new file mode 100644
index 0000000..7921ae0
Binary files /dev/null and b/maths_discretes/cours/logique2.pdf differ