考虑网络:
Fx = ace + bce + de + g
Fy = ad + bd + cde + ge
Fz = abc
内核KERNEL集:
K(Fx) = {(a + b), (ac + bc + d), (ace + bce + de + g)}
K(Fy) = {(a + b + ce), (cd + g), (ad + bd + cde + ge)}
K(Fz) = Ø
构筑辅助函数:
Faux = XaXb + XacXbcXd + XaceXbceXdeXg + XaXbXce + XcdXg + XadXbdXcdeXge;
g a
Xa
1b
Xb
2d
Xd
3
Xg
4ac
Xac
5ad
Xad
6bc
Xbc
7bd
Xbd
8cd
Xcd
9ce
Xce
10de
Xde
11ge
Xge
12ace
Xace
13bce
Xbce
14cde
Xcde
15a + b XaXb x 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 ac + bc + d XacXbcXd x 2 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 ace + bce + de + g XaceXbceXdeXg x 3 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 a + b + ce XaXbXce y 4 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 cd + g XcdXg y 5 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 ad + bd + cde + ge XadXbdXcdeXge y 6 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1