Составить по схеме логическое выражение

Во вложении - поэтапное получение логического выражения. Но его можно упростить. [latex]\displaystyle \overline{A \& B} \lor B = \overline{AB}+B=\overline A+\overline B+B= \overline A+(\overline B+B)= \overline A+1= 1[/latex] Ответ: 1 (всегда истинно)