1)
Строим таблицу 4х9. 3 столбца для переменных A,B,C и столбец F для результата
Насколько я знаю TeX таблицы тут не поддерживаются, поэтому вид будет не очень удобный
A B C F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
Почему так? ну мы просто подставляем в нашу формулу и смотрим на результат. т.к. A умножается(логическое и) на что-то, то если A будет 0, то все выражение так же будет 0. Если A - 1, то смотрим, на скобку. в ней сумма(логическое или) т.е. если хотя бы одна из переменных 1, то вся скобка истина. Смотрим, когда скобка 0. Это будет в значении B - 0, C - 1, следовательно тогда 0, а в остальных случаях 1
2) перепишем по другому. НЕ можно заменить на,
Получаем уравнение . Отсюда легко заметить, что