device-60.home 2025-9-9:21:37:54

forme normale disjonctive canonique.md

@@ -7,6 +7,13 @@ tags:
 
 > [!definition] Définition
 > 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
+> $\displaystyle\bigvee_{a \in \{ 0, 1 \}^{V}} \bigwedge_{v \in V} x_{v}^{a_{v}}$
+> où $x_{v}^{0} = x_{v}$ et $x_{v}^{1} = \neg x_{v}$
+^definition
+
+# Propriétés
+
+> [!proposition]+ Théorème
+> Toute formule est [[formules équivalentes|logiquement équivalente]] à une **unique** formule sous [[forme normale disjonctive canonique]].
+
+