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

MacBook-Pro-de-Oscar.local 2025-9-11:18:0:38

Browse Source
This commit is contained in:
oskar
2025-09-11 18:00:39 +02:00
parent 462560f7f8
commit b577a60369
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
forme normale disjonctive.md
View File

@@ -8,4 +8,6 @@ tags:
> 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