Решение заданий
Тренировка определения полноты системы булевых функций
Определите принадлежность функций к каждому из замкнутых классов.
Является ли система полной? Образует ли базис?
Функция
T0
T1
S
M
L
z → ¬y ↓ y
¬y ↓ ¬x ∧ ¬x
y ⇔ y ↓ z
¬x ⇔ y ∧ y
Не полна
Полна, базис
Полна, не базис