Решите пожалуйста A&B поверх всего выражения черточка <-> (A наверху черточка ˅ B).

Решите задачу:

$\overline{a\&b}\leftrightarrow(\overline a\lor b)=\overline{ab}\equiv(\overline a+b)=\overline{\overline{ab}}\cdot\overline{\overline a+b}+\overline{ab}(\overline a+b)= \\ ab\cdot a\overline b+(\overline a+\overline b)(\overline a+b)=0+\overline a+\overline ab+\overline a \overline b+0=\overline a(1+b+\overline b)=\overline a$