La forme normale disjonctive de 
𝑃
↔
𝑄
P↔Q :

Définition de l'équivalence : 
𝑃
↔
𝑄
P↔Q est équivalent à 
(
𝑃
∧
𝑄
)
∨
(
¬
𝑃
∧
¬
𝑄
)
(P∧Q)∨(¬P∧¬Q).
Vérification de la forme :

(
𝑃
∧
𝑄
)
(P∧Q) est une conjonction de littéraux.

(
¬
𝑃
∧
¬
𝑄
)
(¬P∧¬Q) est une conjonction de littéraux.
Leur disjonction constitue donc bien une FND.

Ainsi, la forme normale disjonctive de 
𝑃
↔
𝑄
P↔Q est :

(
𝑃
∧
𝑄
)
∨
(
¬
𝑃
∧
¬
𝑄
)
(P∧Q)∨(¬P∧¬Q)