Тут, насколько я понимаю, нужно составить таблицу истинности функций.
Стрелка вниз=функция ИЛИ()
Чёрточка над значением=функция НЕ()
Стрелочка вверх=функция И()
Все эти функции, кроме не, принимают 2 аргумента(a и b) и возвращают третий - с. Аргументы записываются по бокам функции.
Таблица истинности для ИЛИ():
a b c
1 0 1
0 1 1
0 0 0
1 1 1
Где 1-это правда, а 0-ложь
Таблица истинности для НЕ():
a c
0 1
1 0
Таблица истинности для И():
a b c
0 1 0
1 0 0
1 1 1
0 0 0
Следует помнить, что логическое умножение(И()) выполняется перед логическим сложением(ИЛИ()), как в математике.
Закончили с теоретической частью. Сейчас попытаемся взглянуть на выражения. У нас больше чем 2 аргумента и множество функций. Это значит, что таблица истинности каждого из выражений будет длиннее представленных выше.
1) Сразу следует отметить наличие скобок. В этом выражении сначала выполняются действия в скобках, это правило так же позаимствовано из математики. Теперь попытаемся перебрать все возможные значения аргументов функции. Переводя на человеческий, она звучит так:
(НЕ(A) ИЛИ B) И НЕ(С)
a b c  f
1 1 1  0
0 1 1 0
1 0 1 0
1 1 0 1
1 0 0 0
0 0 0 1
0 0 1 0
0 1 0 1
2) (A И НЕ(B)) ИЛИ С
a b c f
1 1 1 1
0 1 1 1
1 0 1 1
1 1 0 0
1 0 0 1
0 0 0 0
0 0 1 1
0 1 0 0
3)НЕ(А) ИЛИ B И НЕ(С)
a b c f
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0