Здравствуйте, plaob!
Чтобы построить таблицу истинности, надо сделать следующее:
1) определяем, сколько у нас переменных, записываем названия переменных в первые столбики
2) строим строки в количестве 2 в степени количества переменных, заполняем всеми возможными комбинациями 0 и 1.
Например, для трех переменных это будет: в первом столбике 00001111, во втором 00110011, в третьем 01010101
3) для каждой элементарной операции, начиная с отрицания, отводим столбик, аргументом может быть любой из предыдущих столбиков
4) для каждой операции считаем и записываем результат в свой столбик.
5) в итоге получим результат для всей функции.
Построим таблицу истинности для второй функции (x₁[$8594$][$172$]x₂)[$8594$]([$172$]x₁+x₂)
[table]
[row][col]x₁[/col][col]x₂[/col][col][$172$]x₁[/col][col][$172$]x₂[/col][col]x₁[$8594$][$172$]x₂[/col][col][$172$]x₁+x₂[/col][col](x₁[$8594$][$172$]x₂)[$8594$]([$172$]x₁+x₂)[/col][/row]
[row][col]0[/col][col]0[/col][col]1[/col][col]1[/col][col]1[/col][col]1[/col][col]1[/col][/row]
[row][col]0[/col][col]1[/col][col]1[/col][col]0[/col][col]1[/col][col]0[/col][col]0[/col][/row]
[row][col]1[/col][col]0[/col][col]0[/col][col]1[/col][col]1[/col][col]0[/col][col]0[/col][/row]
[row][col]1[/col][col]1[/col][col]0[/col][col]0[/col][col]0[/col][col]1[/col][col]1[/col][/row]
[/table]