Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить до полной. (Запрещается использовать функции штрих Шеффера или стрелка Пирса)
Используя функции полученной полной системы выразить константы 0, 1,, отрицание, конъюнкцию.