14 lines
329 B
Markdown
14 lines
329 B
Markdown
---
|
|
up:
|
|
- "[[formule logique]]"
|
|
tags:
|
|
- s/maths/logique
|
|
---
|
|
> [!definition] Définition
|
|
> 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
|
|
|
|
|