Лекции::

Дополнительно:

Полные системы булевых функций

2. Булевы функции f1 = x и Image образуют замкнутый класс.

Теорема. Класс T0={f | f(0, 0, …, 0)=0} функций, сохраняющих константу ноль на нулевом наборе, замкнут  относительно суперпозиций.

Теорема. Класс T1={ f | f(1, 1, …, 1)=1} функций, сохраняющих константу один на единичном наборе замкнут  относительно суперпозиций.

предыдущаяследующая