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

Пронумеруем логические элементы (см. вложение) и будем пользоваться следующими обозначениями: [n] - сигнал с выхода элемента номер n a+b - логическое "ИЛИ" (аналог a|b и a∨b) ab, a·b - логическое "И" (аналог a&b и a∧b) [latex]\bar a[/latex] - логическое "НЕ" (аналог !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) [latex]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)}[/latex] [latex]7) \ \overline{[4]\cdot[6]}=\overline{1\cdot\overline{a(b+c)}}=\overline{\overline{a(b+c)}}=a(b+c)=ab+ac[/latex]