Свести функции к СовДНФ путем равносильных преобразований. Записать таблицы истинности функций. Выяснить, есть ли среди заданных функций равносильные функции.

𝑘1 = (𝑁ж + 173) 𝑚𝑜𝑑 30 + 1:

1)   свести функции 𝑓₁, 𝑓₂, и 𝑓₃, к СовДНФ путем равносильных преобразований;

2)   записать таблицы истинности функций f₁, f₂ и f₃;

3) выяснить, есть ли среди 𝑓₁, 𝑓₂, и 𝑓₃ равносильные функции;

4) записать СовКНФ для функций 𝑓₁, 𝑓_2, и 𝑓₃;

5) упростить полученные СовКНФ, получив несовершенные КНФ

Так как Nж=22, то

k1=(Nж+173)mod30+1=(22+173)mod30+1=195mod30+1=15+1=16.

Следовательно