Дискретная математика, подскажите как решить 3 задания

[Szael]

Задания такие:

№1.
Используя теорему о полноте, доказать полноту системы В (в качестве полной системы используйте {X v Y, ¬X} или {X & Y, ¬X}):
а){¬X, X→Y}
б){X↓Y}

№2.
Используя функциональные элементы, соответствующие схеме {V,&,¬}, реализовать схемой функцию f(x,y,z)=(1101 1000)

№3*.
Можно ли реализовать функцию f=X→Y функцией над множеством B={XY, X v Y}?

Вылетела я из темы, не могли бы вы подсказать хотя бы какой-то алгоритм правильного решения номеров, что нужно сделать и где вообще об этом лучше почитать? Буду очень признательна, пока что сложно разобраться.