Преобразуйте функцию к базису {┐,&}. f=x->y->z
┐(┐x┐y┐z);
(xy┐z);
┐(xy┐z);
┐(┐x┐yz)