Compare commits

...

2 Commits

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

File diff suppressed because one or more lines are too long

View File

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