Решение заданий

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


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

Функция T0 T1 S M L
z → ¬y ↓ y
¬y ↓ ¬x ∧ ¬x
y ⇔ y ↓ z
¬x ⇔ y ∧ y