Задача формулируется следующим образом: в системе из n компонентов имеется K0, K1, Kx подсистем соответственно типа 1, 0, x и следовательно K0+K1+Kx=n. Определить эти соотношения в виде булевых уравнений. Запись наличия в системе определённого количества компонентов трёх различных типов в виде булевых уравнений использует известные логические уравнения для описания мультиплексора [6]. В нашем случае будем иметь дизъюнктивную форму, в которой импликант формы имеет определенное число переменных с отрицанием.