Когда в дизъюнктивной форме булевой функции мало отрицаний?

[Dims]

Любую булеву функцию можно представить в виде СДНФ. Методами оптимизации её можно превратить в минимальную ДНФ. В этой форме иногда будут присутствовать члены с отрицанием, а иногда -- нет.

Можно ли поставить задачу минимизации ещё и этих отрицаний? Можно ли все отрицания собрать вместе, например произведя замены ~a + ~b = ~(ab) или ~a~b = ~(a+b)? Как называются функции, в которых нет или мало отрицаний?

[maxal]

Ну начните, например, с этой статьи:
http://eccc.hpi-web.de/eccc-reports/200 ... index.html