Generate all resolvents and absorb others if possible

x y x z=
x y x y=
x y z wx y z =
x y zx y z wx y z w=
x y z x wx y w=

layer
0
x y x y z y y z

layer
x y z x wx y wx y z w 0

Generate all resolvents and absorb others if possible

x y x z= x y x zyz
x y x y= x y x yy= y
x y z wx y z =x y z wx y z x y w=x y z x y w
x y zx y z wx y z w= x y z x y z wx y z w x y wx z w=
x y z x y wx z w
x y z x wx y w= x y z x w x y w y z wx z w y w=
x y z x w y z wx z w y w=
x y z x w y z wx z w y wz w=
x y z x w y wz w
f
layer
layer
0
x y z x wx y wx y z w
0
x y x y z y y z
yzwxzwxyw y w y z wx z w 1
y z x x z x y z 1
2
zw ywxwz w
z y x
2
3
w
1
3
Tautology
f

Heuristic Minimization
a) f =xyz x y ;

fx =
f x =
f x y =

b) f = yz x y x z ;

cov f =

c1 = yz

cov h1 =cov f cov c1 =

h1 =
h1 c =
c 2= x y
1

cov h2 =cov f cov c2 =

h2 c =
2

c3 = x z
cov h3 =cov f cov c 3 =
h1 c =
1

Heuristic Minimization
a) f =xyz x y ;

f x = yz
f x = y
f x y = 1

b) f = yz x y x z ;
cov f = {yz , x y , x z }
c1 = yz

cov h1 =cov f cov c1 = {x y , x z }

h1= x y x z
h1 c = h1 yz= x1 x0= x
c 2= x y
1

cov h2 =cov f cov c2 = {yz , x z }

h2 c = 1z1z =1
2

c3 = x z
cov h3 =cov f cov c 3 = {yz , x y}
h3 c = y01y= y
3