From 8e91a48bfb7200f77bea21bddd25b2da1ac8c435 Mon Sep 17 00:00:00 2001 From: oskar Date: Mon, 6 Oct 2025 21:14:35 +0200 Subject: [PATCH] device-60.home 2025-10-6:21:14:35 --- forme normale disjonctive.md | 9 +++++++++ 1 file changed, 9 insertions(+) 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] +```