У нас есть логическое выражение 
.
Электронная схема состоит из логических вентилей -- базовых блоков, выполняющих элементарную логическую операцию (коньюнкция, инверсия, дизъюнкция итд), входных и выходных сигналов.
По ГОСТу вентили изображаются как прямоугольники с надписью, обозначающую операцию вентиля.
& -- коньюнкция,
1 -- дизьюнкция,
а кружок на сигнале, обозначает его инверсию.
Назовём выходной сигнал F (так как его надо как-то назвать). Смотрите рисунок. Немного кривой, т.к. рисовал в простом графическом редакторе, а не в специализированном ПО.
Таблица истинности -- таблица, задающая значение логической формулы для всех комбинаций переменных.
Напишем её:
Объяснение:
1)У тебя спрашивают b=1? У тебя дано b=3, значит b!=1. Если нет, то переходим к следующим указаниям: с=с-b=4-3=1, b=b+c=3+1(Потому что в предыдущем шаге мы дали новое значение для c, вернее произвели математическую операцию с ним. Возвращаемся(Слева линия) снова к логическому условию. Я честно говоря ХЗ, что они тут имели ввиду, но после того, что я описал c=1,но если мы продолжим проверку b=1, то c начнет принимать отрицательные значения. Цикл вышел, как мне кажется.
Теперь мне лень расписывать - держи фото/скрины
Не знаю, что у тебя за язык программирования, но я сделал тоже самое на Python, вроде результат отличатся не должен.