Найти полином Жегалкина для f(x y z) ) с Nf=149

Переводим в двоичную систему число 149:
14910=100101012.
Строим таблицу истинности функции с заданным номером:
x y z f(x,y,z) Треугольник Паскаля
0 0 0 1 1 0 0 1 0 1 0 1
0 0 1 0 1 0 1 1 1 1 1
0 1 0 0 1 1 0 0 0 0
0 1 1 1 0 1 0 0 0
1 0 0 0 1 1 0 0
1 0 1 1 0 1 0
1 1 0 0 1 1
1 1 1 1 0
Полином Жегалкина:1 ⨁z ⨁y⨁x⨁xy.
6 . Доказать ⊩((a→b)∨a∨c ) ∼ a∧b∧(a→c) .
Требуется доказать, что ⊩ f1∼f1, где f1=((a→b)∨a∨c ), а f2=a∧b∧(a→c).
Построим таблицу истинности f1=((a→b)∨a∨c ):
a b c b
a→b
a∨c
a∨c
((a→b)∨a∨c )
0 0 0 1 1 0 1 1
0 0 1 1 1 1 0 1
0 1 0 0 1 0 1 1
0 1 1 0 1 1 0 1
1 0 0 1 1 1 0 1
1 0 1 1 1 1 0 1
1 1 0 0 0 1 0 0
1 1 1 0 0 1 0 0
Построим таблицу истинности для f2= a∧b∧(a→c):
a b c a
a→c
a∧b∧(a→c)
a∧b∧(a→c)
0 0 0 1 0 0 1
0 0 1 1 0 0 1
0 1 0 1 0 0 1
0 1 1 1 0 0 1
1 0 0 0 1 0 1
1 0 1 0 1 0 1
1 1 0 0 1 1 0
1 1 1 0 1 1 0
Как следует из таблиц истинности, f1= f2, поэтому F=f1∼ f2=1.