Логические основы построения цифровых автоматов. Важнейшие замкнутые классы функций алгебры логики – классы Поста. Перечислите эти классы. Какая система функций алгебры логики называется функционально полной? Приведите примеры полных систем. Теорема о полноте. Представление о результатах Поста.

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