дискретная математика или алгебра логики

[TRE]

такой вопрос, например ¬(x ∩ y)=¬x u ¬y или ¬(x u y)=¬x ∩ ¬y, то есть при отрицании всей скобки меняется знак. ну, с конъюнкцией и дизъюнкцией все понятно, а как быть с импликацией? чему будет равно ¬(x→y)? и еще возникла такая же проблема в булевых функциях, например про сложение по модулю 2 я знаю, ¬(x + y)=x ~ y, но подобного со стрелкой Пирса в учебнике нет, чему будет равно ¬(x ↓ y)?

[ProCarioT]

Это похоже решается формулой де моргана, точно непомню