Logique Formelle

Forme normale disjonctive

Représentation normalisée d'une formule logique comme disjonction de conjonctions de littéraux, utilisée dans certaines applications de la logique.

← Quay lại