Построить таблицу истинности для логической схемы

Сначала необходимо получить выражение для реализуемой функции F (см. вложение).
Далее можно строить таблицу истинности, а можно сначала упростить F.
$\displaystyle \overline b\&(a+\overline a\&b)=\overline b(a+\overline ab)=a\overline b+\overline ab\overline b=a\overline b$
Таблица истинности приведена во вложении.