High Quality Content by WIKIPEDIA articles! En logique booleenne ou en Calcul des propositions, une forme normale disjonctive (FND) est une normalisation d'une expression logique qui est une disjonction de clauses conjonctives. Elle est utilisee dans la demonstration automatique de theoremes. Une expression logique est en FND si et seulement si elle est une disjonction d'une ou plusieurs conjonctions d'un ou plusieurs litteraux. Tout comme dans une forme normale conjonctive (FNC), les seuls operateurs dans une FND sont le et logique, le ou logique et la negation.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.