Алгоритм вычисления понижающих пар для булевых функций без запрета от четырех переменныхстатья