Замкнутые классы и критерий полноты. Лекция 8

1. Замкнутые классы и критерий полноты Лекция 8

§4. Критерий полноты.

2. §4. Критерий полноты.

Существует ли эффективный способ, который по любой системе
булевых функций дает ответ на вопрос, полна ли эта система?
Оказывается, такой способ существует и он основан на проверке
пяти «свойств»: невхождений системы функций ни в один из пяти
замкнутых классов