diff --git a/forme normale disjonctive.md b/forme normale disjonctive.md index 6ef422ed..7de40507 100644 --- a/forme normale disjonctive.md +++ b/forme normale disjonctive.md @@ -4,10 +4,19 @@ up: 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 +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +```