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

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


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

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