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