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

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


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

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