diff --git a/maths_discretes/README.md b/maths_discretes/README.md index 1f42f01..4c7fe0c 100644 --- a/maths_discretes/README.md +++ b/maths_discretes/README.md @@ -5,6 +5,7 @@ | 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) | ### Ensembles, relations, fonctions. diff --git a/maths_discretes/cours/logique2.pdf b/maths_discretes/cours/logique2.pdf new file mode 100644 index 0000000..f2f02f0 Binary files /dev/null and b/maths_discretes/cours/logique2.pdf differ