Помогите записать функцию в базисе шеффера пллиз!!!!a&c~b ~=эквиваленция)

Функция f = (a&c)~b после минимизации в базисе Буля будет так выглядеть в базисе Шеффера:
f = ((a|a)|(b|b))|((b|b)|(c|c))|((a|a)|(b|b)|(c|c))|(a|b|c). При переводе в базис Шеффера используется закон двойственности. Если нужно более подробно, могу написать в маттайпе и прислать файл в почту