Проверьте условие константности функции

Задайте любую формулу и проверьте услове константности функции (любым исчислением: Разложение Шеннона как диаграмма, Трансформациями, Метод резолюций как неэквивалентное преобразование, Метод семантического дерева).
Примеры (решать не надо):
f(x1, x2, x3) = (¬(x1 & x2) & (¬x3 ? x2)) ? (x1 ? x3)
Верно ли, что f(X) = 1 ?

f(x1, x2, x3, x4) = ((x1 ? x2) & (x2 ? x3) & (x1 ? x4)) ? (x3 ? x4)

Верно ли, что f(X) = 1 ?

В решении приведите ПОСЛЕДОВАТЕЛЬНОСТЬ трансформаций - это ваш ПРОТОКОЛ решения.