Построить таблицу для f(x y z)=(x→y)∨y⨁z и определить Nf

Используя таблицы истинности операций, строим таблицу истинности функции f(x,y,z):
x y z y
x→y
y⨁z
y⨁z
f(x,y,z)=(x→y)∨y⨁z
0 0 0 1 1 0 1 1
0 0 1 1 1 1 0 1
0 1 0 0 1 1 0 1
0 1 1 0 1 0 1 1
1 0 0 1 1 0 1 1
1 0 1 1 1 1 0 1
1 1 0 0 0 1 0 0
1 1 1 0 0 0 1 1
Nf=111111012=25310.