##  [Clause](/fr/node/59903) 

  ##  [Clause](https://mathlogic.quantumdictionary.io/fr/node/59904) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une disjonction de littéraux (atomes ou leurs négations) traitée comme une unité syntaxique unique, couramment utilisée dans la forme normale conjonctive (FNC) et comme objet de base pour les procédures de preuve par résolution et les solveurs SAT.