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

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


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

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