Проверить, является ли полной данная система функций. Образует ли она базис? Проверить, является ли полной данная система функций. Образует ли она базис?

Выпишем таблицу истинности для представленных функций:

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

Составляем таблицу Поста:

• функции, сохраняющие нуль: