Forme Normale Conjonctive

concept

normalisation d'une expression logique qui est une conjonction de clauses, autrement dit une conjonction de disjonction de littéraux

Propriétés