Вопрос про булевую функцию. Дискретная матиматика

[lenar]

является ли система булевой функции А полной  A={notx <=>y,x|noty}

просьба расписать

[sp]

А что такое
1. <=>
2. |
С not разберёмся.

[Lucky_Lady]

1) я предпологаю, что это эквиваленция (<->)
2) Это штрих Шеффера (отрицание конъюнкции)