State
graph
CE-653 - STG-based Logic
Synthesis - Petrify
8
x+
x-
y+
y-
z+
z-
xyz
000
x+
100
y+
z+
z+
y+
101
110
111
x-
x-
001
011
y+
z-
010
y-