Для заданных функций составить таблицу Поста

Определим принадлежность функций заданной системы основным классам булевых функций.
Функция x⋁yx=x⋁y:
сохраняет константу 0;
сохраняет константу 1;
монотонна;
не самодвойственная;
не линейная.
Функция 01010100=xz⋁yz:
сохраняет константу 0;
не сохраняет константу 1;
не монотонная;
не самодвойственная;
не линейная.
Функция yx+yz=xyz⋁xyz:
сохраняет константу 0;
не сохраняет константу 1;
не монотонная;
не самодвойственная;
не линейная.
Функция xy⋁yz:
сохраняет константу 0;
сохраняет константу 1;
не монотонная;
не самодвойственная;
не линейная.
Функция x→x↓y=x:
не сохраняет константу 0;
не сохраняет константу 1;
не монотонная;
самодвойственная;
линейная.
Составим таблицу Поста.
K0 K1 M S L
x⋁yx
+ + + ─ ─
01010100
+ ─ ─ ─ ─
yx+yz
+ ─ ─ ─ ─
xy⋁yz
+ + ─ ─ ─
x→x↓y
─ ─ ─ + +
Чтобы система булевых функций была полна, необходимо и достаточно, чтобы в ней нашлась хотя бы одна функция не сохраняющая константу 0, не сохраняющая константу 1, не монотонная, не самодвойственная, не линейная