Доказать полноту следующей системы булевых функций x⊕y, x⋁y, 1

Составим таблицу принадлежности функций заданной системы к каждому из основных классов булевых функций - классу T0 функций, сохраняющих константу 0, классу T1 функций, сохраняющих константу 1, классу M монотонных функций, классу S самодвойственных функций и классу L линейных функций.
T0 T1 M S L
x⊕y
+ ─ ─ ─ +
x⋁y
+ + + ─ ─
1 ─ + + ─ +
Для каждого замкнутого класса в заданной системе функций найдется хотя бы одна функция, не принадлежащая рассматриваемому замкнутому классу, поэтому, согласно теореме Поста, заданная система функционально полная.