329 B
329 B
up, tags
up | tags | ||
---|---|---|---|
|
|
[!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 formev
ou\neg v
pourv \in V
^definition