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

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


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

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