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

Compare commits

base: oskar:462560f7f88b69c2800f2f7eff024789b82dec08
Branches Tags
oskar:main
...
compare: oskar:9d915d91eea029b2faadb15202c9606faa3c5efe
Branches Tags
oskar:main

2 Commits
462560f7f8 ... 9d915d91ee

Author SHA1 Message Date
oskar
9d915d91ee device-60.home 2025-9-12:7:39:42 2025-09-12 07:39:43 +02:00
oskar
b577a60369 MacBook-Pro-de-Oscar.local 2025-9-11:18:0:38 2025-09-11 18:00:39 +02:00
2 changed files with 4 additions and 2 deletions
Expand all files Collapse all files

2
.obsidian/plugins/obsidian-day-planner/data.json vendored
View File

File diff suppressed because one or more lines are too long

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