Какое логическое выражение соответствует схеме?

Пронумеруем логические элементы (см. вложение) и будем пользоваться следующими обозначениями:
[n] - сигнал с выхода элемента номер n
a+b - логическое "ИЛИ" (аналог a|b и a∨b)
ab, a·b - логическое "И" (аналог a&b и a∧b)
$\bar a$ - логическое "НЕ" (аналог !a и ¬a)

1) ac
2) b+[1] = ac+b
3) ¬([1]+b) = ¬(ac+b)
4) [3]+[2] = ¬(ac+b)+(ac+b) = 1
5) ¬([2]·a) = ¬(a(ac+b)) = ¬(ac+ab)
$6) \ [3]+[5]=\overline{ac+b}+\overline{ab+ac}=\overline{(ac+b)(ab+ac)}= \\ \overline{abc+ac+ab+abc)}=\overline{ab+ac+abc}=\overline{a(b+c+bc)}= \\ \overline{a(b+c(1+b))}=\overline{a(b+c)}$
$7) \ \overline{[4]\cdot[6]}=\overline{1\cdot\overline{a(b+c)}}=\overline{\overline{a(b+c)}}=a(b+c)=ab+ac$