Условие:
Проверить, является ли полной данная система функций. Образует ли она базис?
Решение:
Выпишем таблицу истинности для представленных функций:
Согласно критерию Поста, чтобы система функций была полна, необходимо и достаточно, чтобы в каждом столбце таблицы Поста был хотя бы один минус. При этом система является и базисом, если при удалении из нее любой функции она перестает быть полной.
Составляем таблицу Поста:
- функции, сохраняющие нуль:
