diff --git a/forme normale disjonctive canonique.md b/forme normale disjonctive canonique.md
index 60f1854c..fcfe03d4 100644
--- a/forme normale disjonctive canonique.md	
+++ b/forme normale disjonctive canonique.md	
@@ -1,11 +1,12 @@
 ---
 up:
-  - "[[formule logique]]"
+  - "[[forme normale disjonctive]]"
 tags:
   - s/maths/logique
 ---
+
 > [!definition] Définition
-> Une [[formule logique]] $f$ est sous **forme normale disjonctive** si elle est de la forme :
-> $\displaystyle\bigvee_{i \in I} \bigwedge_{j \in J} f_{i, j}$
+> Une [[formule logique]] $f$ est sous **forme normale disjonctive canonique** si elle est de la forme :
+> $\displaystyle\bigvee_{a \in \{ 0, 1 \}^{V}} \bigwedge_{v \in J} f_{i, j}$
 > où $f_{i, j}$ est de la forme $v$ ou $\neg v$ pour $v \in V$
 ^definition
\ No newline at end of file
diff --git a/forme normale disjonctive.md b/forme normale disjonctive.md
new file mode 100644
index 00000000..60f1854c
--- /dev/null
+++ b/forme normale disjonctive.md	
@@ -0,0 +1,11 @@
+---
+up:
+  - "[[formule logique]]"
+tags:
+  - s/maths/logique
+---
+> [!definition] Définition
+> Une [[formule logique]] $f$ est sous **forme normale disjonctive** si elle est de la forme :
+> $\displaystyle\bigvee_{i \in I} \bigwedge_{j \in J} f_{i, j}$
+> où $f_{i, j}$ est de la forme $v$ ou $\neg v$ pour $v \in V$
+^definition
\ No newline at end of file