20 lines
548 B
Markdown
20 lines
548 B
Markdown
---
|
|
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 V} x_{v}^{a_{v}}$
|
|
> où $x_{v}^{0} = x_{v}$ et $x_{v}^{1} = \neg x_{v}$
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
> [!proposition]+ Théorème
|
|
> Toute formule est [[formules équivalentes|logiquement équivalente]] à une **unique** formule sous [[forme normale disjonctive canonique]].
|
|
|
|
|