Выяснить какие переменные функции fx y z

Можно, конечно, попарно сравнивать значения функции на наборах, которые отличаются значениями только исследуемо переменной и выяснить, что фиктивные переменные - это переменные x и t. Однако, в нашем случае удобно построить минимальную ДНФ заданной функции, в которую «автоматически» не войдут фиктивные переменные.
Строим карту Карно для заданной функции.
xy\zt -5112523028600 01 11 10
00 1 1 0 0
01 0 0 -20459114301 1
11 0 0 1 1
10 -10731154111 1 0 0
Имеем минимальную ДНФ:
f=yz⋁yz.
Таким образом, функция g имеет вид:
g=yz⋁yz.
Построим таблицу истинности функции g:
y z g
0 0 1
0 1 0
1 0 0
1 1 1
СДНФ функции:
g=yz⋁yz.
СКНФ функции:
g=y⋁zy⋁z.3