Сколько наборов логических переменных удовлетворяют условиям