oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

device-60.home 2025-10-6:21:14:35

Browse Source
This commit is contained in:
oskar
2025-10-06 21:14:35 +02:00
parent 8c7429a449
commit 8e91a48bfb
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
forme normale disjonctive.md
View File

@@ -4,10 +4,19 @@ up:
tags: tags:
- s/maths/logique - s/maths/logique
--- ---
> [!definition] Définition > [!definition] Définition
> Une [[formule logique]] $f$ est sous **forme normale disjonctive** si elle est de la forme : > 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}$ > $\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$ > où $f_{i, j}$ est de la forme $v$ ou $\neg v$ pour $v \in V$
^definition ^definition
```breadcrumbs
title: "Sous-notes"
type: tree
collapse: false
show-attributes: [field]
field-groups: [downs]
depth: [0, 0]
```