Да, можно сделать выводы более развернутыми, чтобы выглядело как полноценная лабораторная работа.
Под верхней таблицей напиши:
Вывод: в ходе работы были построены таблицы истинности для исходных булевых функций f и g, а также для функций \neg f, fg и f \vee g. Для каждого набора значений переменных x_1, x_2, x_3 были определены соответствующие значения функций. В результате получены векторы:
f = 10100101,
g = 10111011,
\neg f = 01011010,
fg = 10100001,
f \vee g = 10111111.
Таким образом, были выполнены операции отрицания, конъюнкции и дизъюнкции над заданными булевыми функциями.
Под левой нижней таблицей для f:
Вывод: при анализе функции f установлено, что изменение переменной x_2 не приводит к изменению значения функции при одинаковых значениях x_1 и x_3. Следовательно, переменная x_2 является фиктивной, то есть несущественной. Переменные x_1 и x_3 являются существенными, так как изменение каждой из них может изменить значение функции. После удаления фиктивной переменной x_2 функция f зависит только от x_1 и x_3. Сокращённый вектор функции имеет вид 1001.
Под правой нижней таблицей для g:
Вывод: при анализе функции g установлено, что изменение переменной x_1 не влияет на значение функции при одинаковых значениях x_2 и x_3. Поэтому переменная x_1 является фиктивной, или несущественной. Переменные x_2 и x_3 являются существенными, поскольку изменение их значений может привести к изменению значения функции. После удаления фиктивной переменной x_1 функция g зависит только от x_2 и x_3. Сокращённый вектор функции имеет вид 1011.
И в самом низу можно добавить общий вывод:
Общий вывод: в результате выполнения задания были определены существенные и фиктивные переменные булевых функций f и g. Для функции f существенными являются x_1 и x_3, а x_2 — фиктивная переменная. Для функции g существенными являются x_2 и x_3, а x_1 — фиктивная переменная. После удаления несущественных переменных были построены сокращённые таблицы истинности функций. Также были рассчитаны значения функций \neg f, fg и f \vee g.
И да: у тебя справа внизу нужно исправить подпись с «фиктивной x2» на «фиктивной x1».
