Здравствуйте!
Подскажите пожалуйста как доказать тождество двух функций алгебры высказывания зависящих от разного количества переменных.
(x+y) - (y или (не z)(u - (не(x и y)))=(не x) и (z - y),
где + сумма Жигалкина, - импликация, не отрицание, и конъюнкция, или дизъюнкция
Знаю, что функции являются тождественными если их таблицы одинаковы.