мат. логика. избавление от импликации

, представить формулу в
базисах (Ø, &) и (Ø, Ú)
A->B

как избавиться от импликации, чтобы получилась конъюнкция? с дизъюнкцией всё понятно и легко.

-AvB

может, просто отрицание перед всем выражением поставить, чтобы знак поменялся?

-(-AvB)=A&-B

базисах (-, &) и (-, v)