Files
cours/forme normale disjonctive.md
2025-09-11 18:00:39 +02:00

329 B

up, tags
up tags
formule logique
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}f_{i, j} est de la forme v ou \neg v pour v \in V ^definition