К существованию конечных базисов в замкнутых классах булевых функций

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