diff --git a/maths_discretes/README.md b/maths_discretes/README.md index 50aa8dc..88f0693 100644 --- a/maths_discretes/README.md +++ b/maths_discretes/README.md @@ -4,7 +4,8 @@ | Semaine | Cours | TD | | -------------------- | ------------------------------------------------ | ----------------------- | -| 1 : 04/09 - 08/09 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | +| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | +| 2 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) | ## TP - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS. diff --git a/maths_discretes/cours/logique2.pdf b/maths_discretes/cours/logique2.pdf new file mode 100644 index 0000000..b79a30b Binary files /dev/null and b/maths_discretes/cours/logique2.pdf differ