矩阵表达和方块覆盖问题

考虑网络：

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;

				a Xa 1	b Xb 2	d Xd 3	g Xg 4	ac Xac 5	ad Xad 6	bc Xbc 7	bd Xbd 8	cd Xcd 9	ce Xce 10	de Xde 11	ge Xge 12	ace Xace 13	bce Xbce 14	cde Xcde 15
a + 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