Многие задачи из класса <tex>\#P-</tex>полных получаются из задач разрешимости из класса <tex>P</tex> за счет требования подсчета всевозможных удовлетворяющих наборов входных значений.
*[[#SAT]]
*Посчитать количество возможных подстановок, для которых заданная в ДНФ формула будет удовлетворена.
