Метод Монте-Карло. Приближенный алгоритм подсчета количества выполняющих наборов для заданной ДНФ формулы.