Compare commits
2 Commits
462560f7f8
...
9d915d91ee
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
9d915d91ee | ||
|
|
b577a60369 |
File diff suppressed because one or more lines are too long
@@ -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
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user