---
up:
  - "[[forme normale disjonctive]]"
tags:
  - s/maths/logique
---

> [!definition] Définition
> Une [[formule logique]] $f$ est sous **forme normale disjonctive canonique** si elle est de la forme :
> $\displaystyle\bigvee_{a \in \{ 0, 1 \}^{V}} \bigwedge_{v \in J} f_{i, j}$
> où $f_{i, j}$ est de la forme $v$ ou $\neg v$ pour $v \in V$
^definition